jmoy / norvig-spellLinks
Different Implementations of Norvig's spellchecker
☆38Updated 10 years ago
Alternatives and similar repositories for norvig-spell
Users that are interested in norvig-spell are comparing it to the libraries listed below
Sorting:
- An attemps to make a document to help learn Haskell☆44Updated 6 years ago
- an attempt to implement miniKanren and microKanren in Python☆54Updated 11 years ago
- A funny toy programming language project☆29Updated 12 years ago
- World's dumbest fuzzer☆53Updated 2 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- A series of progressively more complex programming languages☆36Updated 11 years ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 7 years ago
- Hopfield Networks for unsupervised learning in Haskell☆16Updated 11 years ago
- Read without moving your eyes.☆28Updated 10 years ago
- Semantic Version Control mk II.☆37Updated 5 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 7 years ago
- ☆49Updated 9 years ago
- OCaml cross-compiler for iOS☆78Updated 9 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- ☆49Updated 12 years ago
- AI: Implementing Score4 (Connect four) in functional and imperative languages☆45Updated 3 years ago
- A fast, easy-to-use q-learning library for Haskell☆45Updated 9 years ago
- A MiniKanren in Python☆36Updated 9 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 7 years ago
- Convert images to audio, visible with a spectrograph. Uses Inverse Fast Fourier Transform.☆19Updated 10 years ago
- A Python 3 compiler that anyone can understand.☆67Updated 11 years ago
- Training a classifier to reddit's TIL to find new things on Wikipedia☆34Updated 10 years ago
- For Github Data Challenge 2014☆50Updated 11 years ago
- A lazy specializing virtual machine for purely functional languages☆103Updated 7 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- Dr. Bayes☆84Updated 9 years ago
- ☆64Updated 9 years ago
- The online textbook Probabilistic Models of Cognition☆169Updated 8 years ago