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
- An interpreter of F-ing modules☆18Updated 5 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 8 months ago
- the dynabook but for haskell☆23Updated 5 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Session types in Idris2!☆27Updated 4 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- Wrap up Haskell tools☆15Updated 3 years ago
- An efficient graph library for Haskell☆39Updated 7 months ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 4 years ago
- Haskell bindings to Rust's regex library☆18Updated this week
- Session Types with Priority in Linear Haskell☆26Updated 9 months ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 3 weeks ago
- Fast higher-order effect handlers with evidence passing☆19Updated last year
- ☆16Updated 3 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated last week
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 2 months ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 8 months ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- Efficient parser combinators for Haskell☆39Updated 11 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- higher-kinded data☆30Updated last year
- Markup language on top of Haskell☆12Updated 4 months ago
- Deep evaluation of data structures☆41Updated 6 months ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- First Class Record Fields in Haskell☆17Updated 3 weeks ago