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☆35Updated 2 months ago
- Visually bootstrap a self-sustaining system, and take it from there.☆11Updated 3 months ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- experimental computational medium and supporting tools☆22Updated last week
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- various toys in j☆12Updated 3 years ago
- Get psyched about mapping knowledge!☆30Updated last year
- Javascript interpreters featuring web workers☆39Updated 8 years ago
- Riffs on spreadsheets for manipulating JSON and building GUIs☆19Updated 5 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Updated 4 months ago
- ☆46Updated 2 years ago
- microKanren implementation from DLS '16☆14Updated 7 years ago
- Halite provides a LISP-like constraint expression language built on top of open source formal modelling tools such as the Choco constrain…☆10Updated last year
- Deep learning library☆41Updated 3 months ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- debugging biological networks to reach coherence, completeness and consistency☆46Updated last year
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- A booklet on the Smacc compiler compiler framework☆14Updated 8 months ago
- A mathematical foundation for Smalltalk-25☆17Updated last week
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆44Updated last month
- This is a logic-based database that can do inferences based on known facts in addition to SQL type queries. Rules are introduced through …☆21Updated last year
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆35Updated 12 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A programming argot☆58Updated last year
- The Coil Programming Language☆33Updated last year
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated last year
- Jupyter notebooks for Dyalog APL☆43Updated last year
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated last week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year