gergoerdi / functional-mos6502-web-performance
https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
☆26Updated last year
Related projects ⓘ
Alternatives and complementary repositories for functional-mos6502-web-performance
- A Haskell monad transformer library for data validation☆36Updated last year
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Session types in Idris2!☆27Updated 3 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- Haskell bindings to Rust's regex library☆18Updated 5 months ago
- Deep evaluation of data structures☆41Updated 2 months ago
- Dhall-configured inductive API definitions☆24Updated 4 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 10 months ago
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 5 years ago
- A TOML parser for Idris 2☆15Updated 4 months ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 5 months ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆29Updated last year
- Clipboard synchronization tool☆12Updated 11 months ago
- Wrap up Haskell tools☆15Updated 3 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 4 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- I/O utilities and datasets for algebraic-graphs☆13Updated 2 years ago
- Haskell bindings to Chez Scheme☆10Updated last year
- ☆16Updated 6 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- An approach to user interfaces based in denotational design.☆26Updated last year
- OCaml backend for Idris2☆19Updated 4 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago