Will Martino's repositories
bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
kadenaswap
Kadenaswap, a multi-protocol, scalable DEX
pact-demo
Demo crowd funding project using smart contract language Pact
Hsmtlib
Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
SmtLib
Parser for smt-lib Command responses
cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
legion
Simple blockchain server written in haskell. Feedback welcome.
dotfiles
Them dotfiles
unagi-chan
A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API
z3-encoding
High-level assertion encoding to Z3 solver
hs-ed25519-donna
Haskell bindings to floodyberry's ed25519 C code (EC signature scheme)
nanomsg-haskell
Haskell bindings to nanomsg
tsds
Time Series Data Store (tsds)
haskell-vim-now
One-line Haskell Vim install
material-ui
A Set of React Components that Implement Google's Material Design.
http-streams
Haskell HTTP client library for use with io-streams
todo-react
My version of FB's react tutorial
cv
Pandoc-ModernCV is a Pandoc facilities for typesetting modern curriculums vitae. Inspired by the well known Latex ModernCV, it is fairly customizable, allowing you to use predefined themes and to define your own style by changing colors, fonts, etc.
practice
Data Structure, Algorithms and Problems Practice
todo.hs
An efficient todo.txt manager
port-reb
Portfolio Rebalancing Function
react-todo-app
simple to-do list app in react.js
haskell_recursion.presentation
A presentation about factorial and tail recursion
buckie.github.io
Will Martino's gh-pages
tetris-dpll
An implementation of the DPLL at the core of http://arxiv.org/abs/1404.0703
hitly
bitly clone made in haskell
scheme48
Write You a Scheme in 48 hrs runthrough
go-vs-C-getEnv
Comparison of go's vs C's behavior regarding getEnv