blynn/zddfun blynn/zddfun

  • Stars
    star
    7
  • Rank 2,232,313 (Top 46 %)
  • Language
    C
  • Created almost 15 years ago
  • Updated over 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
blynn/zddfun
github

blynn

Reviews

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

Repository Details

Logic puzzle solvers, using ZDDs.

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

lambda

Notes on lambda calculus and type theory.
Haskell
6
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