breck7 / research
I moved this folder. Keeping this repo up for archival purposes only.
☆17Updated 11 months ago
Alternatives and similar repositories for research:
Users that are interested in research are comparing it to the libraries listed below
- Leibniz - a Digital Scientific Notation☆34Updated 3 weeks ago
- experimental computational medium and supporting tools☆22Updated last week
- 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
- various toys in j☆12Updated 3 years ago
- microKanren implementation from DLS '16☆14Updated 6 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- debugging biological networks to reach coherence, completeness and consistency☆46Updated last year
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆17Updated 2 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Tree Notation Python Library☆14Updated 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 5 months ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- Reader to enable embedding images in source files as text☆19Updated 4 months ago
- Automatically exported from code.google.com/p/joypy☆28Updated 7 years ago
- A booklet on the Smacc compiler compiler framework☆14Updated 7 months ago
- Riffs on spreadsheets for manipulating JSON and building GUIs☆19Updated 5 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆27Updated 2 years ago
- Get psyched about mapping knowledge!☆30Updated last year
- The Coil Programming Language☆34Updated last year
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 10 years ago
- Catalogue on the nature and bounds of thought☆27Updated 2 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.☆22Updated 3 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- Copies of prolog solvers for use from python☆17Updated 10 months ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- A programming argot☆58Updated last year
- purple: compiling a reflective language☆32Updated 6 months ago
- Lisp and Reflective Tower in Javascript☆16Updated 2 years ago