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:
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- Build tool for ATS.☆42Updated 3 years ago
- Deep evaluation of data structures☆43Updated 2 months ago
- Single Page Web Applications in Idris☆26Updated 10 months ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Classical Logic in Haskell☆24Updated 5 months ago
- Web Development without programming☆45Updated 2 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- A natural transformation package☆16Updated 5 months ago
- Standard module for type-level programming in Haskell☆30Updated 6 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆20Updated 11 months ago
- Core modules for a blazing fast markup combinator library☆22Updated 2 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated last year
- Funny little Haskell impl☆18Updated 4 years ago
- A template for idris projects☆11Updated 4 years ago
- Invertible parsing for S-expressions☆34Updated 4 months ago
- ☆23Updated last year
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 7 months ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆71Updated 7 months ago
- A monadic (and pretty) pretty printer for Haskell☆39Updated 2 years ago
- A Bash backend for PureScript☆20Updated 2 years ago