blynn/lambda blynn/lambda

  • Stars
    star
    6
  • Rank 2,471,180 (Top 50 %)
  • Language
    Haskell
  • Created over 4 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
blynn/lambda
github

blynn

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Notes on lambda calculus and type theory.

More Repositories

1

gitmagic

A guide to using Git
Makefile
1,914
star
2

nex

Lexer for Go
Go
415
star
3

pbc

The Pairing-based Crypto library
C
226
star
4

compiler

The adventures of a Haskell compiler
Haskell
202
star
5

dlx

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

blt

Crit-bit tree (trie) library
C
32
star
7

morans

Get a Brain
Haskell
23
star
8

symple

C
20
star
9

netwalk

Puzzle game: connect all terminals to the server
C
19
star
10

frac

Continued fractions library.
C
13
star
11

sidekick

Haskell
10
star
12

zddfun

Logic puzzle solvers, using ZDDs.
C
7
star
13

mofo

monoForth: a Forth interpreter
C
4
star
14

jason

Interpreter for a subset of the J language.
Haskell
3
star
15

bls2001

Code from ASIACRYPT2001 BLS paper.
Roff
3
star
16

spelltapper

Android incarnation of Spellbinder, a game by Richard A. Bartle
Java
3
star
17

phd-thesis

TeX
2
star
18

blimp

Lisp interpreter
C
2
star
19

mockingbird

Solves a puzzle from "To Mock a Mockingbird" by Raymond M. Smullyan.
Go
2
star
20

dlxt

Haskell rewrite of my DLX library
Haskell
2
star
21

zh23

Haskell
2
star
22

blynn.github.io

JavaScript
1
star
23

combotrain

JavaScript games
JavaScript
1
star
24

toservemanpages

Haskell
1
star
25

bliss

C
1
star