tjitze / ranked-programmingLinks
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
Sorting:
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆35Updated 12 years ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- A typed, polyglot, functional language☆196Updated 3 weeks ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 4 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Some fun examples of solving problems with symbolic execution