tjitze / ranked-programmingLinks
Ranked Programming Extension for Racket
☆54Updated 5 years ago
Alternatives and similar repositories for ranked-programming
Users that are interested in ranked-programming are comparing it to the libraries listed below
Sorting:
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆73Updated last year
- Brzozowski derivative python sketch☆85Updated 3 months ago
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- Verified hash-based AMQ structures in Coq☆123Updated 5 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆35Updated 12 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- A typed, polyglot, functional language☆196Updated last month
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- functional neural networks in ocaml☆89Updated 5 years ago
- Conjure: The Automated Constraint Modelling Tool☆105Updated last month
- Polynomial-time Meta-Interpretive Learning☆128Updated 5 months ago
- A list of human-centered software engineering dissertations.☆48Updated 2 years ago
- ☆53Updated 4 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 4 months ago
- Variaous articles☆80Updated 2 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Copies of prolog solvers for use from python☆17Updated last year
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Persistence of concurrent activities for Gerbil Scheme☆53Updated last week
- A graphical interactive proof assistant designed for education☆166Updated 7 months ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A learned index structure☆53Updated 4 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Awesome datalog libraries, tools and resources☆61Updated 5 years ago