aoh/mindo aoh/mindo

  • Stars
    star
    12
  • Rank 1,555,262 (Top 32 %)
  • Language
    Assembly
  • Created about 13 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aoh/mindo
github

aoh

Reviews

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

Repository Details

executable λ-calclulus

More Repositories

1

radamsa

a general-purpose fuzzer
1,245
star
2

blab

a grammar-based data generator
57
star
3

led

a text editor (mirror + issues)
Scheme
20
star
4

ni

C
9
star
5

covfu

a simple coverage assisted fuzzing driver
Shell
3
star
6

myy

a baby owl for microprocessors
Scheme
2
star
7

err

a toy theorem prover for combinatory logic
Scheme
2
star
8

kal

a text-based calendar tool
Scheme
1
star
9

opus

a content manager
Scheme
1
star