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 6 months ago
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆45Updated 5 months ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- microKanren implementation from DLS '16☆14Updated 7 years ago
- ☆46Updated 2 years ago
- debugging biological networks to reach coherence, completeness and consistency☆47Updated last year
- A collection of libraries in Scheme☆13Updated 4 years ago
- The Coil Programming Language☆33Updated last year
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated this week
- Interactive Scheme Primer, written in Scheme.☆22Updated 4 months ago
- A programming argot☆57Updated last year
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Updated 2 months ago
- various toys in j☆12Updated 3 years ago
- Sunrise on the Boxer Reconstruction Project☆54Updated this week
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 7 years ago
- A dynamic data-driven document development environment (DDDDDE)☆85Updated 2 years ago
- Get psyched about mapping knowledge!☆30Updated 2 years ago
- Lisp evaluator in the LIsp for Zick's Lisp implementations☆56Updated 4 years ago
- A Prolog library to connect to PostgreSQL databases☆104Updated last year
- A live programming environment that lets you see the inner workings of programs☆81Updated 3 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- ☆56Updated 5 months ago
- Kanren with databases☆44Updated last year
- A parser tool for Racket with an expressive grammar notation☆20Updated 10 years ago
- experimental computational medium and supporting tools☆23Updated this week
- Natural Language Datalog☆134Updated 7 years ago
- Plot Cookbook☆51Updated 2 years ago