Alternatives and similar repositories for cognition-archive

Users that are interested in cognition-archive are comparing it to the libraries listed below

• ret2pop / stem
  A minimal stack based programming language
  ☆32Updated last year
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 7 months ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆117Updated 3 weeks ago
• jeprinz / pantograph
  ☆85Updated 3 months ago
• jamii / zest
  ☆107Updated last month
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆60Updated 2 weeks ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆106Updated last month
• justinmeiners / srcweave
  A literate programming system for any language.
  ☆110Updated last year
• mthom / scryer-shen
  ☆51Updated 2 weeks ago
• kelas / ooj
  the origins of J
  ☆62Updated last year
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆67Updated last month
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆33Updated 3 weeks ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• cryptocode / bio
  A Lisp dialect written in Zig
  ☆192Updated 8 months ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆100Updated 3 weeks ago
• PollRobots / scheme
  An R7RS Scheme implemented in WebAssembly
  ☆179Updated 2 years ago
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆35Updated 4 months ago
• Limvot / kraken
  The Kraken Programming Language
  ☆47Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 8 months ago
• needleful / c_plus_prolog
  C plus Prolog
  ☆160Updated 2 months ago
• vmchale / apple
  Apple array system
  ☆66Updated 2 weeks ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 4 months ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆134Updated last year
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆48Updated last year
• shaunlebron / parinfer
  ☆38Updated 2 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆22Updated 6 months ago
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆39Updated 2 months ago