gergoerdi / functional-mos6502-web-performanceLinks
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
Sorting:
- Session types in Idris2!☆27Updated 4 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- An interpreter of F-ing modules☆19Updated 5 years ago
- Core modules for a blazing fast markup combinator library☆22Updated last week
- A Haskell monad transformer library for data validation☆36Updated last year
- Hakyll support for Agda literate files☆19Updated 3 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆20Updated 8 months ago
- IO using sized types and copatterns☆35Updated 4 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- higher-kinded data☆30Updated 2 years ago
- ☆16Updated 3 months ago
- A library with an encoding of higher kinded types in OCaml☆40Updated this week
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 4 months ago
- Classical Logic in Haskell☆24Updated 2 months ago
- Prototype for https://github.com/Innf107/vega☆19Updated 10 months ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- OCaml with typed algebraic effects☆50Updated 6 years ago
- Markup language on top of Haskell☆12Updated 7 months ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Deep evaluation of data structures☆41Updated 8 months ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- Dhall-configured inductive API definitions☆24Updated 5 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- Wrap up Haskell tools☆15Updated 4 years ago
- Alternative and lite implementation of Hoogle☆11Updated last year
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Updated 2 years ago