mkery / VarioliteLinks
☆17Updated 9 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☆26Updated 7 years ago
- experimental computational medium and supporting tools☆23Updated last week
- Pharo edition of ActivePapers☆21Updated 4 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆53Updated 3 years ago
- Probabilistic miniKanren☆67Updated 10 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 10 years ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 5 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 7 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆63Updated 7 years ago
- The best Prolog visualizer☆88Updated 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 3 years ago
- GPL licensed J interpreter☆38Updated 9 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…☆24Updated 3 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Updated last year
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- ☆27Updated 2 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Updated 7 years ago
- ☆71Updated 5 years ago
- Emacs Does Interactive Prolog☆45Updated last year
- Dr. Bayes☆84Updated 9 years ago
- Natural Language Datalog☆136Updated 8 years ago
- Datalog implemented in minikanren☆24Updated 8 years ago
- debugging biological networks to reach coherence, completeness and consistency☆49Updated last year
- A module for handling continuations in Python☆32Updated 9 years ago
- Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.☆27Updated 4 years ago
- The Hy Transformer☆83Updated 6 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Updated last week
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆23Updated 2 months ago