Innf107 / vega
A dependently typed programming language with direct style effects and linearity
☆18Updated last month
Related projects: ⓘ
- A simple functional programming language.☆20Updated 3 years ago
- Algebraic effects in the Bluefin effect system☆13Updated 4 months ago
- todo and unimplemented, robustly implemented☆32Updated last week
- bidirectional type checking algorithms for higher-ranked polymorphism☆17Updated 2 years ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆43Updated last year
- An unofficial Idris2 package repository for Nix☆45Updated last year
- Fωμ type checker and compiler☆51Updated last year
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- A Haskell monad transformer library for data validation☆36Updated last year
- Package manager for Idris☆35Updated 2 years ago
- Fast higher-order effect handlers with evidence passing☆17Updated 8 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆28Updated 9 months ago
- ☆40Updated 10 months ago
- LLVM code generation in Haskell☆49Updated 11 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 3 months ago
- A pure type system implemented in OCaml☆78Updated 3 years ago
- Fast equality saturation in Haskell☆75Updated 4 months ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- bollu learns implementation of dependent typing☆24Updated last year
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- Duo - A research language exploring duality in programming language design☆54Updated last year
- ☆18Updated 4 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 9 months ago
- Libraries for the Effectful Haskell effects system☆21Updated 2 years ago
- Automatically import Haskell modules.☆19Updated 2 months ago
- A compiler that translates a form of lambda calculus to C☆12Updated 4 months ago
- A tool to make solving type errors in Haskell simple and fun.☆36Updated last year
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- A Haskell 2010 type checker☆13Updated 6 months ago