gergoerdi / functional-mos6502-web-performanceLinks
https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
☆27Updated 2 years ago
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
Sorting:
- A Haskell monad transformer library for data validation☆36Updated last year
- Session types in Idris2!☆27Updated 4 years ago
- Classical Logic in Haskell☆24Updated 3 months ago
- the dynabook but for haskell☆23Updated 5 years ago
- Deep evaluation of data structures☆41Updated 3 weeks ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- Wrap up Haskell tools☆15Updated 4 years ago
- An efficient graph library for Haskell☆39Updated last month
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Updated 4 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 5 months ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Strongly typed paths in Haskell☆15Updated 2 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- ☆16Updated 3 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- A library for benign effects in Haskell☆20Updated last month
- An interpreter of F-ing modules☆19Updated 6 years ago
- haskell behavior tree library☆11Updated 5 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆12Updated last month
- Haskell bindings to binaryen.☆14Updated 4 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Core modules for a blazing fast markup combinator library☆22Updated last month
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated 11 months ago
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 4 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Small async library for idris2, inspired by purescript-aff☆8Updated 3 years ago