faulhornlabs / csipView external linksLinks
☆24Dec 15, 2025Updated 2 months ago
Alternatives and similar repositories for csip
Users that are interested in csip are comparing it to the libraries listed below
Sorting:
- ☆15Dec 20, 2021Updated 4 years ago
- Eventually a practical 2-level TT-based compiler☆31Feb 3, 2026Updated last week
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- ☆14Nov 4, 2025Updated 3 months ago
- Haskell port of the Nanopass Compiler Framework☆23Dec 23, 2025Updated last month
- Formal specification of the Haskell Language Report☆30Jan 25, 2026Updated 2 weeks ago
- GRIN backend for Idris2☆33Jul 3, 2022Updated 3 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- A Haskell 2010 type checker☆17Feb 25, 2024Updated last year
- JHC Haskell compiler split into reusable components☆57Dec 17, 2018Updated 7 years ago
- Type-safe WebAssembly eDSL in Haskell☆28Oct 20, 2024Updated last year
- Staged compilation with dependent types☆187Feb 1, 2026Updated last week
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- ☆11May 7, 2023Updated 2 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- ☆26Nov 18, 2022Updated 3 years ago
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆32Feb 8, 2026Updated last week
- ☆12Jun 22, 2023Updated 2 years ago
- jupyter / jupyterlite kernel for Haskell powered by WebAssembly☆57Jan 19, 2026Updated 3 weeks ago
- ☆20Jul 31, 2025Updated 6 months ago
- A Haskell library for building Slack apps in Socket Mode☆15Oct 23, 2023Updated 2 years ago
- A compiler for functional programs on serialized data☆174Updated this week
- Fast equality saturation in Haskell☆95Jan 22, 2026Updated 3 weeks ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated last year
- DEPRECATED: use https://github.com/MercuryTechnologies/moat☆23Mar 5, 2021Updated 4 years ago
- SQLite bindings for Lean☆29Feb 8, 2026Updated last week
- Succinct binary serialization☆15Aug 26, 2018Updated 7 years ago
- Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.☆19Dec 16, 2025Updated last month
- Get terminal window width and height☆14Aug 14, 2024Updated last year
- A toy dependent typed language.☆36Updated this week