buckie

buckie.github.io

Will Martino's gh-pages

bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

cv

Pandoc-ModernCV is a Pandoc fa­cil­i­ties for type­set­ting mod­ern cur­ricu­lums vi­tae. Inspired by the well known Latex ModernCV, it is fairly cus­tomiz­able, al­low­ing you to use predefined themes and to define your own style by changing colors, fonts, etc.

dotfiles

Them dotfiles

ghcjsCallback

go-vs-C-getEnv

Comparison of go's vs C's behavior regarding getEnv

haskell-vim-now

One-line Haskell Vim install

haskell_recursion.presentation

A presentation about factorial and tail recursion

hitly

bitly clone made in haskell

hs-ed25519-donna

Haskell bindings to floodyberry's ed25519 C code (EC signature scheme)

Hsmtlib

Haskell library for easy interaction with SMT-LIB 2 compliant solvers.

http-streams

Haskell HTTP client library for use with io-streams

kadenaswap

Kadenaswap, a multi-protocol, scalable DEX

legion

Simple blockchain server written in haskell. Feedback welcome.

material-ui

A Set of React Components that Implement Google's Material Design.

nanomsg-haskell

Haskell bindings to nanomsg

pact-demo

Demo crowd funding project using smart contract language Pact

port-reb

Portfolio Rebalancing Function

practice

Data Structure, Algorithms and Problems Practice

react-todo-app

simple to-do list app in react.js

scheme48

Write You a Scheme in 48 hrs runthrough

SmtLib

Parser for smt-lib Command responses

tetris-dpll

An implementation of the DPLL at the core of http://arxiv.org/abs/1404.0703

thyme

todo-react

My version of FB's react tutorial

todo.hs

An efficient todo.txt manager

tsds

Time Series Data Store (tsds)

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