Innf107 / vega-prototypeLinks
Prototype for https://github.com/Innf107/vega
☆19Updated 10 months ago
Alternatives and similar repositories for vega-prototype
Users that are interested in vega-prototype are comparing it to the libraries listed below
Sorting:
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Type-safe WebAssembly eDSL in Haskell☆26Updated 7 months ago
- A simple functional programming language.☆21Updated 3 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 3 months ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Algebraic effects in the Bluefin effect system☆17Updated last year
- A Haskell 2010 type checker☆17Updated last year
- Fωμ type checker and compiler☆54Updated 2 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Haskell port of the Nanopass Compiler Framework☆22Updated last year
- todo and unimplemented, robustly implemented☆36Updated 8 months ago
- ☆19Updated 3 weeks ago
- Package manager for Idris☆35Updated 2 years ago
- Session types framework with support of protocol pipelining.☆15Updated last week
- 🪆 A Staged Type Theory☆35Updated last year
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated 9 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 11 months ago
- Linear lens☆20Updated last year
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- small programming language. pls be gentle.☆39Updated last month
- A Haskell monad transformer library for data validation☆36Updated last year
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- ☆41Updated last year
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- Automatically import Haskell modules.☆21Updated last week
- 🦠 Reusable components based on algebraic effects☆50Updated 8 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 2 months ago
- Session types in Idris2!☆27Updated 4 years ago
- Demo for dependent types + runtime code generation☆69Updated 3 months ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated last year