• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Common Lisp
  • Created over 16 years ago
  • Updated over 12 years ago

Reviews

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

Repository Details

Randomized testing library for Common Lisp; like a subset of Haskell's QuickCheck.

More Repositories

1

requestAnimationFrame

Polyfill for requestAnimationFrame/cancelAnimationFrame
JavaScript
272
star
2

awklisp

A Lisp interpreter written in Awk.
Awk
253
star
3

ichbins

A tiny self-hosting Lisp-to-C compiler
C
236
star
4

code-canon

A catalog of code worth reading
111
star
5

expr

Evaluate mathematical expressions in Java
Java
97
star
6

halp

Run programs in the Emacs buffer holding their source, seeing their output inline, interactively.
Python
92
star
7

languagetoys

Random fun with statistical language models.
Python
65
star
8

wren

Language with a bytecode compiler that can run on computers with only a few kB of RAM.
C
61
star
9

parson

Yet another PEG parser combinator library and DSL
Python
58
star
10

cant

A programming argot
Scheme
58
star
11

tush

Literate testing for command-line programs
Shell
56
star
12

bytebeat

Coded music in HTML5
JavaScript
54
star
13

sketchbook

Smallish programs written to learn something.
Python
50
star
14

tailbiter

Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
Python
46
star
15

peglet

Robinson Crusoe's parsing library
Python
38
star
16

pythological

A MiniKanren in Python
Python
36
star
17

regexercise

Exercises in implementing regular-expression search
Python
32
star
18

spaced-out

Vocab drill using parallel corpora, plus classic spaced-repetition drill
Python
30
star
19

tusl

A scripting language for extending C programs; recognizably Forth-like, but definitely not Forth.
C
19
star
20

amphigory

Metrical rhyming verse in Javascript
JavaScript
18
star
21

miasma

An x86 machine-code toolkit
Scheme
15
star
22

aima-python-mirror

Mirror of the aima-python svn repository
Python
15
star
23

mccarthy-to-bryant

Propositional logic in terms of if-then-else
Python
15
star
24

cogen

Compiler generator (3rd Futamura projection) for first-order Scheme
Scheme
14
star
25

mixal

Assembler and emulator for Knuth's MIX machine
13
star
26

ung

Pointless reimplementation of Unix userland tools.
C
13
star
27

idel

A low-level virtual machine for mobile code
C
12
star
28

minilight.js

A MiniLight Javascript port
JavaScript
12
star
29

tinyhiss

A Smalltalk in Python
Python
12
star
30

vicissicalc

A spreadsheet program for my own amusement.
C
12
star
31

toot

A small language to demo turning an interpreter into a compiler
Python
11
star
32

consp

A capability-secure Scheme dialect
Scheme
11
star
33

logsim

A digital logic simulator to work through the book The Elements of Computing Systems.
Scilab
11
star
34

sturm

Simpleminded terminal interface
Python
10
star
35

ake

A 'make' program in one little Awk file
JavaScript
10
star
36

elv

A very basic Lisp + Erlang-style processes, on a virtual machine
C
10
star
37

quick-study

To explore tracing JIT compilers and explanation-based learning
Python
8
star
38

math-toys

HTML5 canvas widgets for exploring complex arithmetic
JavaScript
8
star
39

columnize

View strings, Python dir() output in particular, in nice columns.
Python
8
star
40

squerm

Prototype of a concurrent Scheme dialect
Python
7
star
41

hmph

Prototype of a system for user-programmable websites; a kind of mishmash of Smalltalk, Boxer, E, and wikis.
Python
7
star
42

versecop

Match text against verse forms, like: is this line in iambic pentameter?
Python
7
star
43

transparent-dilemma

The Prisoner's Dilemma for agents that see each other's source code.
Scheme
7
star
44

req

A rewrite-rule language
C
6
star
45

superbench

A cross-language shootout, starting with a circuit superoptimizer
C
6
star
46

Bleaty-the-Lamb

A superoptimizer for the lambda calculus
Scheme
6
star
47

peckcheck

Randomized testing library for Python; like a subset of Haskell's QuickCheck.
Python
6
star
48

spellmell

A quickie spelling corrector
Python
5
star
49

selfcentered

A self-centered compiler
Scheme
5
star
50

circuitexpress

Secret project 42A
Python
5
star
51

rebabbage

Design studies for a mechanical computer
Python
5
star
52

escheme

A Scheme dialect built on and interoperable with Emacs Lisp. Why, I dunno -- for the hell of it?
Emacs Lisp
5
star
53

js-playground

Stuff I write to learn Javascript
JavaScript
5
star
54

goobergram

A Python rewrite of Mark Jason Dominus's linogram language. Unfinished.
Python
5
star
55

unitcalc

Calculator with units.
Python
5
star
56

sniki

A semantic-network wiki
Python
4
star
57

traitor

My translations to English of public-domain works
4
star
58

alliterate

Compute alliteration scores for English text
Python
4
star
59

regexercise_solutions

My answers to the regexercise problems
Python
4
star
60

unmush

Take wordsmushedtogether and guess how to split them back into individual words.
Python
4
star
61

dole

The Doe text editor rewritten in Lua
Lua
4
star
62

greek_to_me

Guess the language of a text using n-gram models
Python
4
star
63

tusdl

SDL binding for Tusl, plus some programs using it: two genetic picture-breeders, A-life simulations, etc.
C
4
star
64

icfp09

Tackling the 2009 ICFP contest
Python
3
star
65

yajson

JSON library for Python, generating both pure-Python and C-extension versions from a common spec.
Python
3
star
66

wirth-a-risc

Wirth's RISC machine in software
C
3
star
67

toy-compiler

A compiler for a toy language, in Standard ML
Standard ML
3
star
68

unreal

Van Wyk's IDEAL picture language redone in Python
Python
3
star
69

lurx

Regular expression matching in Lua
Lua
2
star
70

indent

indentational syntax for Scheme (ancient)
Scheme
2
star
71

github-contest-2009

Just for fun
Python
2
star
72

one-day-i-will-play-chess

hackety hack hack hack
Python
2
star
73

bookdraft

Literate programs demonstrating self-reliance
2
star
74

squee

A sketchy language for a blog post or something
Python
2
star
75

pother

Another toy programming language imitating bits of E
Python
2
star
76

chispa

Indexed text search in <500lines
Python
2
star
77

wason

Webification of http://lesswrong.com/lw/g2/positive_bias_test_c_program
Python
2
star
78

cs191

Biomolecular Computation classwork
Python
1
star
79

peglet.js

Adaptable parsing
JavaScript
1
star
80

radiation

Mutagens for everyone!
JavaScript
1
star
81

bicicleta.js

Kragen's Bicicleta now all in Javascript
JavaScript
1
star
82

hello-canvas

Like "hello, world', but for HTML5 canvas hacking.
JavaScript
1
star
83

ml-fumbling

Phlogisticosh. Rhomothriglyph. Floof.
Python
1
star
84

quarters

more meta
Python
1
star
85

teeny

A Scheme subset with reflective access to Java. A relic of the 90s.
C++
1
star
86

codingquizzes

nothing here but my attempts at some coding quizzes
Python
1
star
87

bicicleta.py

Another slow prototype of Kragen's Bicicleta
Python
1
star