mkery / Variolite
☆16Updated 7 years ago
Related projects: ⓘ
- experimental computational medium and supporting tools☆22Updated this week
- Literate Computing with Webstrates☆25Updated 5 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated last year
- Javascript interpreters featuring web workers☆38Updated 7 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 3 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 3 years ago
- A CSS specification and reasoning engine☆91Updated last year
- A programming language and user interface toolkit for creating structured editors.☆19Updated 8 years ago
- A JavaScript implementation of SOM, a minimal Smalltalk for teaching and research.☆17Updated 7 months ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 5 years ago
- ☆53Updated 3 years ago
- Converting Non-Recursive Datalog to SQL☆23Updated 7 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆15Updated 4 years ago
- A simple Prolog API for the Z3 constraint solver☆14Updated 6 years ago
- a web-based development environment for constructing parsers by example (backend code)☆16Updated 7 years ago
- Julia Implementation of Unums☆42Updated 7 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 3 months ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 9 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- The best Prolog visualizer☆84Updated last year
- Leibniz - a Digital Scientific Notation☆34Updated last month
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 4 years ago
- Game theory in Clojure☆18Updated 11 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆15Updated 4 years ago
- a declarative framework for scaling up your interactive visualizations with... SQL! (and some timesteps)☆27Updated last year
- wescheme☆24Updated 3 months ago
- ELE 583 final project: a demo for Ivan Sutherland's SKETCHPAD, in Java.☆14Updated 9 years ago
- debugging biological networks to reach coherence, completeness and consistency☆42Updated 7 months ago
- Answering Datalog Queries with Unix Shell Commands☆22Updated 7 months ago