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:
- Brzozowski derivative python sketch☆86Updated 9 months ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 4 years ago
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆86Updated 2 weeks ago
- A typed, polyglot, functional language☆211Updated last week
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- A terse Prolog course☆43Updated 6 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆31Updated 3 years ago
- Variaous articles☆80Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 7 years ago
- Polynomial-time Meta-Interpretive Learning☆131Updated 11 months ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated 2 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 3 weeks ago
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- An online IDE for visual programming in Prolog☆245Updated 2 weeks ago
- Domain Specific Languages for Computational Law☆78Updated 7 months ago
- debugging biological networks to reach coherence, completeness and consistency☆49Updated last year
- functional neural networks in ocaml☆89Updated 5 years ago
- A Prolog library to connect to PostgreSQL databases☆107Updated last year
- Awesome datalog libraries, tools and resources☆64Updated 6 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- Conjure: The Automated Constraint Modelling Tool☆108Updated this week
- ☆53Updated 5 months ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- Technical blogs around data collaboration, data management, and building collaborative applications.☆46Updated 2 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year