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:
- Fωμ type checker and compiler☆54Updated 2 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 6 months ago
- A Haskell 2010 type checker☆17Updated last year
- Package manager for Idris☆37Updated 3 years ago
- A simple functional programming language.☆21Updated 4 years ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Build system☆124Updated last year
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- A TOML parser for Idris 2☆17Updated last year
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- small programming language. pls be gentle.☆39Updated 2 weeks ago
- LLVM code generation in Haskell☆54Updated 9 months ago
- Quick explanation of eliminating left recursion in Haskell parsers☆51Updated 3 years ago
- Data frames for Idris 2☆23Updated 2 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- A bidirectional type checker☆63Updated 8 years ago
- ☆22Updated 3 months ago
- Javascript DOM bindings for Idris2☆53Updated last month
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 3 weeks ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆131Updated 2 years ago
- 🦠 Reusable components based on algebraic effects☆51Updated 2 weeks ago
- todo and unimplemented, robustly implemented☆36Updated 11 months ago
- Demo for dependent types + runtime code generation☆70Updated 6 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 6 months ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago
- Libgit2 bindings for Idris 2☆13Updated 4 years ago