blynn/phd-thesis blynn/phd-thesis

  • Stars
    star
    2
  • Language
    TeX
  • Created about 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
blynn/phd-thesis
github

blynn

Reviews

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

Repository Details

More Repositories

1

gitmagic

A guide to using Git
Makefile
1,919
star
2

nex

Lexer for Go
Go
416
star
3

pbc

The Pairing-based Crypto library
C
230
star
4

compiler

The adventures of a Haskell compiler
Haskell
204
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
20
star
10

frac

Continued fractions library.
C
14
star
11

sidekick

Haskell
10
star
12

zddfun

Logic puzzle solvers, using ZDDs.
C
7
star
13

lambda

Notes on lambda calculus and type theory.
Haskell
6
star
14

jason

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

mofo

monoForth: a Forth interpreter
C
4
star
16

bls2001

Code from ASIACRYPT2001 BLS paper.
Roff
3
star
17

spelltapper

Android incarnation of Spellbinder, a game by Richard A. Bartle
Java
3
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