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:
- Smallish programs written to learn something.☆51Updated last year
- an attempt to implement miniKanren and microKanren in Python☆53Updated 11 years ago
- An attemps to make a document to help learn Haskell☆44Updated 6 years ago
- Semantic Version Control mk II.☆37Updated 5 years ago
- A funny toy programming language project☆29Updated 12 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- For Github Data Challenge 2014☆50Updated 10 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- A MiniKanren in Python☆35Updated 9 years ago
- A series of progressively more complex programming languages☆36Updated 11 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- Dr. Bayes☆84Updated 9 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- A six-panel artistic rendition of Alan Turing☆20Updated 5 years ago
- Stanford CS240h Class Notes -- Functional Systems in Haskell☆27Updated 11 years ago
- World's dumbest fuzzer☆52Updated last year
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- A Python 3 compiler that anyone can understand.☆67Updated 11 years ago
- A parser for Python 2.x and 3.x written in Haskell☆159Updated 2 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- The online textbook Probabilistic Models of Cognition☆167Updated 8 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 8 years ago
- A streaming cross-cat inference engine☆49Updated 10 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- ☆49Updated 8 years ago
- Hopfield Networks for unsupervised learning in Haskell☆16Updated 11 years ago
- ☆49Updated 12 years ago
- AI: Implementing Score4 (Connect four) in functional and imperative languages☆45Updated 2 years ago
- A fast, easy-to-use q-learning library for Haskell☆45Updated 9 years ago