John Shutt's "Kernel" language implemented on ABE (C) runtime.
☆13Sep 3, 2018Updated 7 years ago
Alternatives and similar repositories for kernel_abe
Users that are interested in kernel_abe are comparing it to the libraries listed below
Sorting:
- A META parser generator using LL(1) grammars with s-expressions.☆16Oct 30, 2017Updated 8 years ago
- Scheme library collection with yearly stable releases☆17Jun 5, 2022Updated 3 years ago
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago
- Eventually consistent datatypes for Clojure.☆14Apr 25, 2016Updated 9 years ago
- A programming language☆14Jan 24, 2015Updated 11 years ago
- Actively maintained fork of Peter Miller's UCSD P-System tools - Cross-compiler☆18Nov 2, 2025Updated 3 months ago
- load .o like dlfcn☆18Mar 26, 2020Updated 5 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Nov 21, 2024Updated last year
- Haskell binding for PADS☆21Jun 10, 2019Updated 6 years ago
- Prolog implementation of microKanren☆44Feb 20, 2015Updated 11 years ago
- Light Weight Cells☆20Oct 6, 2024Updated last year
- Renders interactive fractal-like animations☆19May 16, 2017Updated 8 years ago
- NewtonScript☆35Jun 8, 2024Updated last year
- A Scheme to WebAssembly compiler☆16Dec 19, 2021Updated 4 years ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆82Aug 28, 2020Updated 5 years ago
- ☆24Apr 3, 2018Updated 7 years ago
- Port of Cyc to Common Lisp☆23Sep 1, 2020Updated 5 years ago
- PoC code for "Deep Hypertext Implemented..."☆33Jan 14, 2018Updated 8 years ago
- Conflict-free Replicated Data Types for Rust☆22May 7, 2015Updated 10 years ago
- Implementation of delimited control for C/C++☆28Nov 28, 2011Updated 14 years ago
- Datalog query engine for PouchDB.☆24Jul 6, 2015Updated 10 years ago
- Clojure program to exhaustively search for optimal Java programs☆21Sep 5, 2012Updated 13 years ago
- The fluffy programming language main repository☆25Feb 2, 2013Updated 13 years ago
- A recreation of Ivan Sutherland's Sketchpad, for the web.☆33Aug 20, 2024Updated last year
- Schema and type system for creating sortable byte[]☆47Jan 30, 2013Updated 13 years ago
- the bard programming language☆33Nov 17, 2025Updated 3 months ago
- Jessica - Jessie (secure distributed Javascript) Compiler Architecture☆37Aug 23, 2023Updated 2 years ago
- The linked open dataset described at http://datahub.io/dataset/vu-wordnet, and the tools used to create it☆26Oct 19, 2020Updated 5 years ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- AdvSys - A Language for Writing Text Adventure Games☆29Feb 3, 2017Updated 9 years ago
- Fast immutable data structures☆32Jan 28, 2015Updated 11 years ago
- A JavaScript parser in Common Lisp☆43Sep 5, 2017Updated 8 years ago
- Some experiments… and maybe a surprise coming.☆33Nov 10, 2018Updated 7 years ago
- GPT-based language channel for NARS (ONA)☆38Jan 22, 2025Updated last year
- Sparsey, trademark Neurithmic Systems, is unsupervised learning algorithm inspired from the computations of cortical macro-columns and mi…☆12Feb 27, 2023Updated 3 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Jan 25, 2015Updated 11 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Jun 21, 2023Updated 2 years ago
- Experiments with fast term-rewriting in clojure☆64Jul 5, 2015Updated 10 years ago
- [Mirror] A close reading of the μKanren paper.☆43Jun 14, 2022Updated 3 years ago