Alternatives and similar repositories for norvig-spell

Users that are interested in norvig-spell are comparing it to the libraries listed below

• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆54Updated 11 years ago
• rikusalminen / funfun
  A funny toy programming language project
  ☆29Updated 12 years ago
• yogsototh / learn_haskell
  An attemps to make a document to help learn Haskell
  ☆44Updated 6 years ago
• j2kun / art-turing-ellipse
  A six-panel artistic rendition of Alan Turing
  ☆20Updated 5 years ago
• ttsiodras / Score4
  AI: Implementing Score4 (Connect four) in functional and imperative languages
  ☆45Updated 3 years ago
• ajtulloch / hopfield-networks
  Hopfield Networks for unsupervised learning in Haskell
  ☆16Updated 11 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 7 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 7 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated last year
• dritchie / probabilistic-js
  Turning Javascript into a probabilistic programming language
  ☆58Updated 8 years ago
• thoppe / today-AI-learned
  Training a classifier to reddit's TIL to find new things on Wikipedia
  ☆34Updated 10 years ago
• mattgreen / learning-language-design
  A series of progressively more complex programming languages
  ☆36Updated 11 years ago
• wpears / spree
  Read without moving your eyes.
  ☆28Updated 10 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 7 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆13Updated 3 years ago
• jmoy / costlyState
  Classroom demonstration of costly state verification in finance
  ☆16Updated 10 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 9 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 9 years ago
• scslab / cs240h-notes
  Stanford CS240h Class Notes -- Functional Systems in Haskell
  ☆27Updated 11 years ago
• chrisuehlinger / LambdaBubblePop
  ☆49Updated 9 years ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 7 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 9 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• hausdorff / pyli
  A Python 3 compiler that anyone can understand.
  ☆67Updated 11 years ago
• eevee / project-euler
  interesting solutions to project euler problems
  ☆84Updated 9 years ago
• Poincare / QLearn
  A fast, easy-to-use q-learning library for Haskell
  ☆45Updated 9 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 9 years ago