Pinned Repositories
blt
Crit-bit tree (trie) library
compiler
The adventures of a Haskell compiler
dlx
Library that solves the exact cover problem using Dancing Links, also known as DLX.
frac
Continued fractions library.
gitmagic
A guide to using Git
morans
Get a Brain
netwalk
Puzzle game: connect all terminals to the server
nex
Lexer for Go
pbc
The Pairing-based Crypto library
symple
blynn's Repositories
blynn/gitmagic
A guide to using Git
blynn/nex
Lexer for Go
blynn/pbc
The Pairing-based Crypto library
blynn/compiler
The adventures of a Haskell compiler
blynn/dlx
Library that solves the exact cover problem using Dancing Links, also known as DLX.
blynn/blt
Crit-bit tree (trie) library
blynn/morans
Get a Brain
blynn/symple
blynn/netwalk
Puzzle game: connect all terminals to the server
blynn/frac
Continued fractions library.
blynn/sidekick
blynn/lambda
Notes on lambda calculus and type theory.
blynn/mofo
monoForth: a Forth interpreter
blynn/bls2001
Code from ASIACRYPT2001 BLS paper.
blynn/jason
Interpreter for a subset of the J language.
blynn/blimp
Lisp interpreter
blynn/core
MIRACL Core
blynn/dlxt
Haskell rewrite of my DLX library
blynn/mockingbird
Solves a puzzle from "To Mock a Mockingbird" by Raymond M. Smullyan.
blynn/phd-thesis
blynn/zh23
blynn/bliss
blynn/blynn.github.io
blynn/combotrain
JavaScript games
blynn/haste-compiler
A GHC-based Haskell to JavaScript compiler
blynn/hol-light
The HOL Light theorem prover (moved from Google code)
blynn/tool-conventions
Conventions supporting interoperatibility between tools working with WebAssembly.
blynn/toservemanpages
blynn/haskell-leb128-cereal
LEB128 encoding for Haskell
blynn/miracl_core_bls12381
Rust code of https://github.com/miracl/core (miracl_core) for curve BLS 12-381.