Matthias Felleisen's repositories
neu-fall18
repo for regular Fundamentals I (Fall '19)
Language:RacketNOASSERTION000
norvig-spell
Different Implementations of Norvig's spellchecker
Language:C000
Language:Racket000
racket-cheat
racket-cheat - a cheat sheet for Racket
Language:HTMLNOASSERTION000
Language:Racket000
racket2nix
Take an info.rkt file, produce a default.nix file.
Language:RacketMPL-2.0000
redex-etc
Miscellanea for Redex.
0BSD000
sample-fsm
a sample code of finite state automata playing a repeated game, evolving over time (counted by cycles)
Language:Racket000
Language:RacketNOASSERTION000
Language:Racket000
website.racket
Source for website at
GPL-2.0000