Beast code in Giters

Ben Lynn's repositories

gitmagic

A guide to using Git

Language:MakefileGPL-3.01914 219 14

nex

Lexer for Go

Language:GoGPL-3.0414 13 31

pbc

The Pairing-based Crypto library

Language:CLGPL-3.0224 22 24

compiler

The adventures of a Haskell compiler

Language:HaskellGPL-3.0199 13 4

dlx

Library that solves the exact cover problem using Dancing Links, also known as DLX.

Language:CGPL-3.050 10 2

blt

Crit-bit tree (trie) library

Language:CGPL-3.032 6 1

morans

Get a Brain

Language:HaskellGPL-3.023 30

symple

Language:CGPL-3.020 40

netwalk

Puzzle game: connect all terminals to the server

Language:CGPL-3.019 6 2

frac

Continued fractions library.

Language:CGPL-3.013 30

sidekick

Language:Haskell10 50

lambda

Notes on lambda calculus and type theory.

Language:Haskell6 20

mofo

monoForth: a Forth interpreter

Language:CGPL-3.04 30

bls2001

Code from ASIACRYPT2001 BLS paper.

Language:RoffGPL-2.03 10

jason

Interpreter for a subset of the J language.

Language:Haskell3 20

blimp

Lisp interpreter

Language:C2 20

core

MIRACL Core

Language:C++Apache-2.02 20

dlxt

Haskell rewrite of my DLX library

Language:Haskell2 2 1

mockingbird

Solves a puzzle from "To Mock a Mockingbird" by Raymond M. Smullyan.

Language:GoGPL-3.02 30

phd-thesis

Language:TeX2 20

zh23

Language:HaskellGPL-3.02 20

bliss

Language:CGPL-2.01 20

blynn.github.io

Language:JavaScript1 20

combotrain

JavaScript games

Language:JavaScriptGPL-3.01 20

haste-compiler

A GHC-based Haskell to JavaScript compiler

Language:HaskellBSD-3-Clause1 20

hol-light

The HOL Light theorem prover (moved from Google code)

Language:OCamlNOASSERTION1 20

tool-conventions

Conventions supporting interoperatibility between tools working with WebAssembly.

Artistic-2.01 20

toservemanpages

Language:Haskell100

haskell-leb128-cereal

LEB128 encoding for Haskell

Language:HaskellMIT000

miracl_core_bls12381

Rust code of https://github.com/miracl/core (miracl_core) for curve BLS 12-381.

Apache-2.0000