metacrank / cognition-archive
☆44Updated 6 months ago
Alternatives and similar repositories for cognition-archive:
Users that are interested in cognition-archive are comparing it to the libraries listed below
- A minimal stack based programming language☆32Updated last year
- Autoregressive transformers in APL☆100Updated last week
- A lisp dialect based on pattern matching and term rewriting☆84Updated 6 months ago
- Programming language for ternary computing☆30Updated 4 years ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆135Updated this week
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- the origins of J☆62Updated last year
- ☆83Updated 2 months ago
- ☆103Updated last month
- A logic programming language that has features of both Datalog and answer set programming.☆114Updated this week
- An ngn/k tutorial.☆200Updated 11 months ago
- An implementation of interaction nets as a forth-like language.☆33Updated this week
- An introduction to the J programming language that gets to the point.☆42Updated 4 months ago
- C plus Prolog☆159Updated last month
- A literate programming system for any language.☆106Updated last year
- Programming with pure lambda calculus☆106Updated 2 weeks ago
- A simple incomplete Scheme-to-C compiler☆67Updated 2 weeks ago
- A small language that compiles to WebAssembly Text format☆74Updated last year
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆121Updated 2 months ago
- ☆48Updated 5 months ago
- Persistence of concurrent activities for Gerbil Scheme☆50Updated this week
- ☆53Updated 4 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- Cheap and fast R7RS Scheme interpreter☆75Updated 2 months ago
- Topological sort library in Zig☆91Updated 3 weeks ago
- An R7RS Scheme implemented in WebAssembly☆179Updated 2 years ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 3 months ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- An embeddable BQN virtual machine in rust. Stay tuned!☆34Updated 2 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago