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
- Core modules for a blazing fast markup combinator library☆22Updated 10 months ago
- the dynabook but for haskell☆23Updated 5 years ago
- Session types in Idris2!☆27Updated 4 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Classical Logic in Haskell☆24Updated last month
- Haskell bindings to Rust's regex library☆18Updated last month
- An interpreter of F-ing modules☆19Updated 5 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Dhall-configured inductive API definitions☆24Updated 5 years ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆20Updated 7 months ago
- A TOML parser for Idris 2☆17Updated 10 months ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 3 months ago
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 6 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Updated 2 months ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 2 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated 9 months ago
- Strongly typed paths in Haskell☆15Updated 2 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated 4 months ago
- ☆16Updated 3 years ago
- Types and kinds for basic type-level programming☆64Updated 7 months ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Clean up the formatting of 'show' output☆21Updated 8 months ago
- Deep evaluation of data structures☆41Updated 7 months ago
- higher-kinded data☆30Updated last year
- Existential types as a library☆34Updated 2 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Updated 3 years ago
- An efficient graph library for Haskell☆39Updated 9 months ago