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:
- functional neural networks in ocaml☆89Updated 5 years ago
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 12 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- A typed, polyglot, functional language☆204Updated this week
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Conjure: The Automated Constraint Modelling Tool☆105Updated this week
- Brzozowski derivative python sketch☆85Updated 4 months ago
- debugging biological networks to reach coherence, completeness and consistency☆47Updated last year
- An open source reimplementation of Benny Brodda's BETA in Python☆62Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A terse Prolog course☆43Updated 6 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last week
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 6 months ago
- Python term rewriting☆30Updated 12 years ago
- Domain Specific Languages for Computational Law☆77Updated last month
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- ☆53Updated this week
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 weeks ago
- Interesting Papers and Ideas☆85Updated 8 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆64Updated 6 years ago
- concatenative array language inspired by kdb/+q☆93Updated 3 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 5 months ago
- Book lucid interpreter written in python☆24Updated 6 years ago