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:
- Literate Computing with Webstrates☆27Updated 7 years ago
- experimental computational medium and supporting tools☆23Updated this week
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Updated 3 years ago
- The best Prolog visualizer☆87Updated 3 years ago
- Polyglot, document-based computing environment. Leisure is very much in flux, right now; please check the readme, below. For a taste of…☆115Updated 2 years ago
- A CSS specification and reasoning engine☆100Updated 2 years ago
- Interactive POetry Editor☆28Updated 4 years ago
- Probabilistic miniKanren☆67Updated 10 years ago
- GPL licensed J interpreter☆38Updated 9 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆53Updated 2 years ago
- Pads format description language☆21Updated 10 years ago
- ☆22Updated 5 years ago
- ☆27Updated 2 years ago
- Pharo edition of ActivePapers☆21Updated 4 years ago
- Natural Language Datalog☆136Updated 8 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 10 years ago
- A programming language and user interface toolkit for creating structured editors.☆20Updated last year
- Website for the malleable systems and software community☆63Updated 2 weeks ago
- ☆71Updated 5 years ago
- A cross Smalltalk dialect, disk-based package import/export format, inspired by the https://github.com/dalehenrich/filetree project.☆29Updated 12 years ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 5 years ago
- debugging biological networks to reach coherence, completeness and consistency☆48Updated last year
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- A diff tool that highlights changes at the token (rather than line) level☆13Updated 3 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- Javascript interpreters featuring web workers☆39Updated 9 years ago
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 10 months ago