gergoerdi / functional-mos6502-web-performance
https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
☆27Updated last year
Alternatives and similar repositories for functional-mos6502-web-performance:
Users that are interested in functional-mos6502-web-performance are comparing it to the libraries listed below
- A Haskell monad transformer library for data validation☆36Updated last year
- Session types in Idris2!☆27Updated 4 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- Haskell bindings to Rust's regex library☆18Updated this week
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated last month
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Deep evaluation of data structures☆41Updated 5 months ago
- Fast higher-order effect handlers with evidence passing☆18Updated last year
- Malfunction backend for Idris 2☆12Updated 3 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Dissectible data structures for implementing iterative traversals.☆20Updated 2 years ago
- Classical Logic in Haskell☆24Updated last week
- ☆16Updated 3 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 4 years ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 7 months ago
- ☆16Updated this week
- A TOML parser for Idris 2☆15Updated 7 months ago
- IO using sized types and copatterns☆33Updated 3 years ago
- OCaml backend for Idris2☆19Updated 4 years ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- higher-kinded data☆30Updated last year
- Ouroboros is a PureScript compiler written in PureScript.☆19Updated 4 months ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- A simple implementation of linear type theory☆38Updated 7 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Updated 2 months ago