☆12Sep 22, 2020Updated 5 years ago
Alternatives and similar repositories for prologish
Users that are interested in prologish are comparing it to the libraries listed below
Sorting:
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Feb 3, 2023Updated 3 years ago
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)☆21Apr 2, 2013Updated 12 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Sep 16, 2021Updated 4 years ago
- Handling errors which occur deep inside lens-chains☆17Jul 4, 2019Updated 6 years ago
- Setoid type theory implementation☆38Aug 24, 2023Updated 2 years ago
- ☆17Mar 16, 2021Updated 4 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆47May 29, 2022Updated 3 years ago
- Coq library for handling names☆19Aug 5, 2022Updated 3 years ago
- classical sequent calculus, embedded in Haskell☆21Aug 24, 2025Updated 6 months ago
- Hedgehog will eat your typeclass bugs☆57Jun 3, 2025Updated 8 months ago
- A vim to emacs theme converter☆22Oct 9, 2025Updated 4 months ago
- ☆21Jun 11, 2020Updated 5 years ago
- do-notation for Category and "Arrow without arr"☆63Mar 17, 2017Updated 8 years ago
- Extensible records for Idris☆25Jun 13, 2021Updated 4 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆71May 17, 2024Updated last year
- Prototype implementations of systems based on setoid type theory☆66Nov 29, 2020Updated 5 years ago
- ☆51Jan 30, 2026Updated last month
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Jan 12, 2025Updated last year
- Efficient, polymorphic Map Algebra in Haskell.☆38Feb 17, 2020Updated 6 years ago
- Very basic os template made with Rust☆35May 10, 2023Updated 2 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Oct 25, 2024Updated last year
- Standard containers, with keys that carry type-level proofs of their own presence.☆82Feb 20, 2020Updated 6 years ago
- Statically typed functional programming language.☆11Jan 25, 2026Updated last month
- Fast and simple JSON encoding toolkit☆84Dec 9, 2023Updated 2 years ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆34May 27, 2017Updated 8 years ago
- multi-shot continuations in OCaml☆51Nov 21, 2025Updated 3 months ago
- Experiments with higher-kinded types and object algebras in C#☆39Jan 15, 2026Updated last month
- Web game, clone of Chrome's dinosaur game.☆10Jan 5, 2023Updated 3 years ago
- Scripts for validating retirement plans using Monte Carlo analysis.☆11Updated this week
- A server for the forester tool☆17Dec 10, 2024Updated last year
- ☆10Nov 14, 2022Updated 3 years ago
- A Python script to seamlessly convert LastPass CSV exports into the format required by Apple's Passwords app. Simplifies migrating your l…☆11Oct 17, 2024Updated last year
- OFFICIAL & ORIGINAL ASTRALIXI OS REPOSITRY☆19Nov 29, 2025Updated 3 months ago
- A programming language written in Python and LLVMLite☆11Apr 15, 2022Updated 3 years ago
- Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countabl…☆12Jan 6, 2026Updated last month