metacrank / cognition

Related projects ⓘ

Alternatives and complementary repositories for cognition

• ret2pop / stem
  A minimal stack based programming language
  ☆32Updated 6 months ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 3 years ago
• kelas / ooj
  the origins of J
  ☆60Updated last year
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated last month
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆274Updated this week
• mthom / scryer-shen
  ☆43Updated last week
• Zag-Research / Zag-Smalltalk
  Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
  ☆134Updated this week
• cryptocode / bio
  A Lisp dialect written in Zig
  ☆179Updated last month
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆89Updated last month
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆75Updated 4 years ago
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆105Updated last week
• HnimNart / deeplearning
  ☆53Updated 3 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆88Updated 2 weeks ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 3 years ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆34Updated 8 months ago
• cannadayr / rsbqn
  An embeddable BQN virtual machine in rust. Stay tuned!
  ☆34Updated 2 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆51Updated last year
• briangu / klongpy
  High-Performance Klong array language in Python.
  ☆120Updated 5 months ago
• mbrock / wisp
  Lisp in WebAssembly
  ☆245Updated 3 months ago
• PollRobots / scheme
  An R7RS Scheme implemented in WebAssembly
  ☆171Updated last year
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆195Updated 5 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 3 years ago
• Limvot / kraken
  The Kraken Programming Language
  ☆46Updated 9 months ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆62Updated 4 years ago
• akkartik / teliva
  Fork of Lua 5.1 to encourage end-user programming
  ☆166Updated 11 months ago
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆376Updated this week
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆45Updated last year
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆134Updated this week