mkery / Variolite
☆16Updated 8 years ago
Alternatives and similar repositories for Variolite:
Users that are interested in Variolite are comparing it to the libraries listed below
- Literate Computing with Webstrates☆25Updated 6 years ago
- experimental computational medium and supporting tools☆22Updated this week
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Javascript interpreters featuring web workers☆38Updated 8 years ago
- The Stratego program transformation language☆31Updated 8 months ago
- ☆10Updated 2 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 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
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- Game theory in Clojure☆18Updated 12 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Dynamic programming inference by continuation hashing.☆29Updated 9 years ago
- A CSS specification and reasoning engine☆94Updated 2 years ago
- a declarative framework for scaling up your interactive visualizations with... SQL! (and some timesteps)☆27Updated 2 years ago
- This package contains a lightweight deductive database system in OCaml☆40Updated 3 years ago
- Pharo edition of ActivePapers☆21Updated 3 years ago
- An implementation of Racket's Scribble in Clojure☆22Updated 11 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Python term rewriting☆29Updated 12 years ago
- Declarative unit testing for Answer Set Programming projects☆12Updated 7 years ago
- ☆21Updated 4 years ago
- ☆34Updated 11 years ago
- a web-based development environment for constructing parsers by example (backend code)☆17Updated 7 years ago
- Probabilistic miniKanren☆61Updated 9 years ago
- Interactive POetry Editor☆28Updated 3 years ago
- Transform git histories between tree-like and linear forms☆28Updated 4 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- Kanren with databases☆43Updated 8 months ago