Innf107 / vega-prototypeLinks
Prototype for https://github.com/Innf107/vega
☆19Updated last year
Alternatives and similar repositories for vega-prototype
Users that are interested in vega-prototype are comparing it to the libraries listed below
Sorting:
- A Haskell 2010 type checker☆17Updated last year
- Fωμ type checker and compiler☆54Updated 2 years ago
- Quick explanation of eliminating left recursion in Haskell parsers☆54Updated 4 years ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- ☆17Updated 2 years ago
- A beginner's guide to Haskell optimization☆65Updated 7 years ago
- A simple functional programming language.☆22Updated 4 years ago
- small programming language. pls be gentle.☆39Updated 2 weeks ago
- Build system☆128Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A bidirectional type checker☆65Updated 8 years ago
- todo and unimplemented, robustly implemented☆36Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 8 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- LLVM code generation in Haskell☆54Updated 11 months ago
- Demo for dependent types + runtime code generation☆72Updated 8 months ago
- Source code for haskle.net☆30Updated 2 years ago
- Package manager for Idris☆37Updated 3 years ago
- Session types framework with support of protocol pipelining.☆15Updated last week
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- A pure type system implemented in OCaml☆77Updated 4 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated last month
- Distributors - Unifying Parsers, Printers & Grammars☆56Updated last week
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 9 months ago
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated 9 months ago
- Javascript DOM bindings for Idris2☆52Updated last week