mkery / VarioliteLinks
☆17Updated 8 years ago
Alternatives and similar repositories for Variolite
Users that are interested in Variolite are comparing it to the libraries listed below
Sorting:
- experimental computational medium and supporting tools☆23Updated last month
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Pharo edition of ActivePapers☆21Updated 4 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆53Updated 2 years ago
- Probabilistic miniKanren☆65Updated 9 years ago
- GPL licensed J interpreter☆38Updated 9 years ago
- Natural Language Datalog☆134Updated 7 years ago
- Literate Computing with Webstrates☆26Updated 6 years ago
- A cross Smalltalk dialect, disk-based package import/export format, inspired by the https://github.com/dalehenrich/filetree project.☆28Updated 12 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- A CSS specification and reasoning engine☆96Updated 2 years ago
- The best Prolog visualizer☆85Updated 2 years ago
- Polyglot, document-based computing environment. Leisure is very much in flux, right now; please check the readme, below. For a taste of…☆114Updated 2 years ago
- The Hy Transformer☆84Updated 6 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 12 years ago
- Leibniz - a Digital Scientific Notation☆36Updated 4 months ago
- A diff tool that highlights changes at the token (rather than line) level☆13Updated 2 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- ☆10Updated 3 years ago
- a web-based development environment for constructing parsers by example (backend code)☆17Updated 8 years ago
- A programming argot☆58Updated last year
- A computer algebra system (CAS) for high school students☆14Updated 6 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- Dr. Bayes☆84Updated 9 years ago
- ☆22Updated 10 months ago
- Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…☆20Updated 2 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 5 months ago
- Interactive POetry Editor☆28Updated 3 years ago