tjitze / ranked-programming
Ranked Programming Extension for Racket
☆54Updated 4 years ago
Alternatives and similar repositories for ranked-programming:
Users that are interested in ranked-programming are comparing it to the libraries listed below
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- A typed, polyglot, functional language☆196Updated last week
- The Brown Benchmark for Table Types (B2T2)☆63Updated 9 months ago
- A graphical interactive proof assistant designed for education☆166Updated 4 months ago
- Demo of a WAM Prolog implementation in Python☆77Updated last year
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Polynomial-time Meta-Interpretive Learning☆120Updated last month
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Brzozowski derivative python sketch☆85Updated 11 months ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- Verified hash-based AMQ structures in Coq☆121Updated 4 years ago
- Alloy*---Higher Order Logic for Alloy☆37Updated 5 years ago
- concatenative array language inspired by kdb/+q☆91Updated 3 years ago
- Domain Specific Languages for Computational Law☆71Updated last month
- A terse Prolog course☆41Updated 6 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Explore Forum Structured Data (on HackerNews) Visually☆42Updated 2 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆27Updated 2 years ago
- Thoughts on adjoint, norm and such.☆169Updated 2 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- formal tools for BPMN☆35Updated 11 months ago
- Datalog + Egg = Good☆66Updated last year