wyager Goto Github PK
Name: Will Yager
Type: User
Bio: I do hardware (circuitry, embedded systems, FPGAs, fabrication), security (reversing, cryptography), and CS (type theory, automata theory, formal verification)
Blog: https://yager.io
Will Yager's Projects
adsb-manager
adsb-repeater
aeson
A fast Haskell JSON library
artnet
Haskell bindings for artnet
astro
Astrophotography
bitcoin-hd-wallet-generator
Code for creating BIP0032 HD wallets, as well as deriving public addresses without the private key.
bitsea
P2P Hash-keyed filesharing system
blackhole
Accurately ray tracing a black hole using Haskell
btcd
An alternative full node bitcoin implementation written in Go (golang)
callsigns
A program that generates available 5-digit callsigns that look like English words
clash-protocols
a battery-included library for dataflow protocols
cpu
CPU Building Tutorial
dalloc
Messing around with storage
defmt
Efficient, deferred formatting for logging on embedded systems
dist
A Haskell library for probability distributions
electrs
An efficient re-implementation of Electrum Server in Rust
electrum-server
Electrum server
elm-compiler
Compiler for the Elm programming language. Elm aims to make web development more pleasant. Elm is a type inferred, functional reactive language that compiles to HTML, CSS, and JavaScript.
embassy
Modern embedded framework, using Rust and async.
encrypted-hd-wallet
An implementation of a draft standard for an encrypted deterministic wallet
example-distributed-app
An example distributed systems application in Haskell using Cloud Haskell
fastpush
Fast push monad in Haskell
flextpm
frequencies
Playing around with image compression
geolabel
A system for turning human-unfriendly coordinates into human-friendly words.
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
gnuradio
GNURadio projects
hacktx-proveme
A bitcoin proof-of-existence/cryptographic timestamping server for the 2013 HackTX 24 hour hackathon
hardtime
Hard real-time embedded DSL
haskell-pipes-extras-library
Miscellaneous utilities for pipes
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.