☆37Apr 14, 2024Updated last year
Alternatives and similar repositories for ecta
Users that are interested in ecta are comparing it to the libraries listed below
Sorting:
- an optimizing curry compiler☆14Nov 27, 2022Updated 3 years ago
- A helpful AI assistant for Mercury engineers☆21Jan 9, 2026Updated last month
- Icicle Streaming Query Language☆28Jan 20, 2026Updated last month
- ☆32Apr 17, 2023Updated 2 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆14Aug 30, 2024Updated last year
- Faktory Worker for Haskell☆17Feb 20, 2026Updated last week
- Serve assets in zipfiles inside or outside of Redbean☆16Sep 1, 2022Updated 3 years ago
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆18Oct 28, 2025Updated 4 months ago
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 3 years ago
- The Steel separation logic library for F*☆36Nov 24, 2025Updated 3 months ago
- 🏂🏻 Haskell based Retro board☆16Mar 25, 2022Updated 3 years ago
- Collection of Idris snippets☆23Dec 23, 2025Updated 2 months ago
- A dynamically-typed CBPV language embedded in Racket☆40Mar 6, 2024Updated last year
- high-performance cubical evaluation☆79Apr 27, 2025Updated 10 months ago
- An implementation of the actor model in Haskell using STM☆17Updated this week
- Efficient, high-level dynamic programming☆28Jul 19, 2023Updated 2 years ago
- ☆50Oct 2, 2025Updated 4 months ago
- A Haskell 2010 type checker☆17Feb 25, 2024Updated 2 years ago
- A Framework for building Batched Concurrent Services☆21May 20, 2025Updated 9 months ago
- Normalization by Evaluation for Martin-Löf Type Theory☆131Jun 5, 2024Updated last year
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 3 months ago
- ☆24Dec 15, 2025Updated 2 months ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆22Aug 25, 2017Updated 8 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Dec 30, 2018Updated 7 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Jan 28, 2026Updated last month
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆139Nov 29, 2025Updated 3 months ago
- ☆23Aug 30, 2017Updated 8 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Sep 11, 2024Updated last year
- Interactive Scheme Primer, written in Scheme.☆22Jun 9, 2025Updated 8 months ago
- Haskell library for doing category theory with a central role for profunctors☆24Feb 21, 2026Updated last week
- Synthetic geometry. Probably mostly algebraic geometry.☆26Jan 22, 2024Updated 2 years ago
- IO should be just a library☆24Jul 17, 2023Updated 2 years ago
- ☆25Aug 30, 2024Updated last year
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]☆27Jan 23, 2026Updated last month
- Haskell bindings to OpenAI☆36Updated this week
- Demo for dependent types + runtime code generation☆72Feb 18, 2025Updated last year
- A type theory with native support for Polynomial Functors.☆42Oct 8, 2023Updated 2 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago