aprolog-lang / aprologView external linksLinks
αProlog
☆18Jul 9, 2023Updated 2 years ago
Alternatives and similar repositories for aprolog
Users that are interested in aprolog are comparing it to the libraries listed below
Sorting:
- ☆28Jun 27, 2019Updated 6 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 2 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 8 months ago
- experimental computational medium and supporting tools☆23Updated this week
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 years ago
- Tactic for polynomial manipulations☆12Jan 29, 2026Updated 2 weeks ago
- machine fusion☆16Oct 13, 2018Updated 7 years ago
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 years ago
- A Toy Inverse Bidirectional Typechecker☆32May 13, 2019Updated 6 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Sep 15, 2021Updated 4 years ago
- OCaml backend for Idris2☆20Oct 12, 2020Updated 5 years ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Aug 21, 2025Updated 5 months ago
- persistent-mode afl-fuzz for ocaml☆17Nov 23, 2024Updated last year
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆21Mar 19, 2015Updated 10 years ago
- A semantically unified SQL and NoSQL query and update system☆18Jan 20, 2019Updated 7 years ago
- Meld virtual machine.☆28Nov 20, 2015Updated 10 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 9 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- Tiny Forth-like language implementation☆25Apr 14, 2024Updated last year
- Constructive Galois connections☆36Mar 26, 2018Updated 7 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 years ago
- Julia package for parsing, manipulating and evaluating formulas in first-order logic.☆19Feb 4, 2020Updated 6 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Feb 5, 2026Updated last week
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 4 years ago
- Two-Level Type Theory☆28Dec 13, 2019Updated 6 years ago
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC☆22Apr 11, 2019Updated 6 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- My personal dot files☆10Sep 13, 2022Updated 3 years ago
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 9 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- OpenGL and GPU debugging utilities☆14Oct 21, 2012Updated 13 years ago