breck7 / researchLinks
I moved this folder. Keeping this repo up for archival purposes only.
☆17Updated last year
Alternatives and similar repositories for research
Users that are interested in research are comparing it to the libraries listed below
Sorting:
- Leibniz - a Digital Scientific Notation☆36Updated 9 months ago
- A bridge between Pharo and JavaScript☆11Updated this week
- Lyspen (previously Lisperanto) is an AST structured editor.☆44Updated last week
- The Coil Programming Language☆33Updated last year
- Art of Prolog Code☆36Updated 6 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆53Updated 2 years ago
- ☆57Updated 8 months ago
- Sunrise on the Boxer Reconstruction Project☆55Updated last month
- A live programming environment that lets you see the inner workings of programs☆81Updated 3 years ago
- ☆104Updated 3 years ago
- A Prolog library to connect to PostgreSQL databases☆107Updated last year
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- microKanren implementation from DLS '16☆14Updated 7 years ago
- debugging biological networks to reach coherence, completeness and consistency☆49Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 years ago
- Kanren with databases☆44Updated last year
- Website for the malleable systems and software community☆64Updated 3 weeks ago
- Croquet Jasmine (2004) on SqueakJS☆33Updated 8 months ago
- Reader to enable embedding images in source files as text☆22Updated last year
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- ☆46Updated 2 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- Try s7 scheme in your browser, powered by WebAssembly☆47Updated 5 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 8 years ago
- exploration of reflective architectures in Scheme☆20Updated 3 years ago
- Interactive Scheme Primer, written in Scheme.☆22Updated 7 months ago
- A programming language and user interface toolkit for creating structured editors.☆20Updated last year
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated last month
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆42Updated 10 months ago
- Persistence of concurrent activities for Gerbil Scheme☆55Updated 3 months ago