mkery / VarioliteLinks
☆16Updated 8 years ago
Alternatives and similar repositories for Variolite
Users that are interested in Variolite are comparing it to the libraries listed below
Sorting:
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Literate Computing with Webstrates☆26Updated 6 years ago
- A CSS specification and reasoning engine☆96Updated 2 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Pharo edition of ActivePapers☆21Updated 4 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 10 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years 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
- ☆10Updated 3 years ago
- miniKanren for interactive tutorials on the web☆34Updated 3 weeks ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 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
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- Rescuing the SOUL great logic meta programming language☆12Updated 6 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆14Updated 7 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Javascript interpreters featuring web workers☆39Updated 8 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Interactive POetry Editor☆28Updated 3 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- ☆22Updated 4 years ago
- A cross Smalltalk dialect, disk-based package import/export format, inspired by the https://github.com/dalehenrich/filetree project.☆28Updated 11 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Probabilistic miniKanren☆62Updated 9 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆35Updated 12 years ago
- wescheme☆27Updated 3 months ago
- A JavaScript implementation of SOM, a minimal Smalltalk for teaching and research.☆17Updated last year