chrisdone-archive / vadoView external linksLinks
A demo web browser engine written in Haskell
☆280Apr 27, 2019Updated 6 years ago
Alternatives and similar repositories for vado
Users that are interested in vado are comparing it to the libraries listed below
Sorting:
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Aug 11, 2017Updated 8 years ago
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 4 years ago
- Email address validation for Haskell☆43Sep 21, 2024Updated last year
- Diffing of (expression) trees.☆79Jul 9, 2025Updated 7 months ago
- Generically derive traversals, lenses, and prisms.☆440Aug 27, 2025Updated 5 months ago
- The strongly hyped Haskell interpreter.☆377Oct 27, 2025Updated 3 months ago
- Systematic concurrency testing meets Haskell.☆197Jan 13, 2026Updated last month
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- A type-safe, high-level SQL library for Haskell☆479Jan 8, 2026Updated last month
- Reproducible builds for PureScript☆73Aug 7, 2018Updated 7 years ago
- Auto-generate a command-line parser for your datatype☆212Jan 8, 2026Updated last month
- High performance type safe html generation☆128Jul 25, 2022Updated 3 years ago
- A GHC plugin and library for analysing GHC Core☆54Feb 4, 2025Updated last year
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated 2 weeks ago
- Fast Haskell XML parser☆125Jul 16, 2023Updated 2 years ago
- Haskell Standard Input and Output☆46May 13, 2018Updated 7 years ago
- - The Haskell code editor focused on interactive development.☆352Feb 10, 2018Updated 8 years ago
- A declarative Unix terminal UI library written in Haskell☆1,697Updated this week
- Measuring CPU instructions in Haskell using Linux Performance Counters☆83Jun 9, 2018Updated 7 years ago
- Functional sed for JSON☆474May 17, 2022Updated 3 years ago
- Haskell compiler infastructure for WebAssembly☆356Dec 24, 2017Updated 8 years ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆208Feb 4, 2019Updated 7 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- Yet another Haskell build system.☆115Jul 3, 2020Updated 5 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Oct 8, 2017Updated 8 years ago
- haskell source code formatter☆689Nov 11, 2022Updated 3 years ago
- Functional programming with fewer indirections☆778Aug 20, 2020Updated 5 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Environmentally friendly environment variables☆154Jan 11, 2026Updated last month
- Standard containers, with keys that carry type-level proofs of their own presence.☆82Feb 20, 2020Updated 5 years ago
- A Haskell library for typesafe music composition☆366Mar 3, 2019Updated 6 years ago
- Higher-kinded data via generics☆170Aug 20, 2024Updated last year
- Search Haskell source code from the command line☆75Aug 20, 2020Updated 5 years ago
- A very general logging effect for Haskell☆61Jan 28, 2026Updated 2 weeks ago
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 5 years ago
- Example how to link Haskell programs very quickly with lld☆48Apr 13, 2017Updated 8 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Financial datetimes and holiday recurrence rules☆18Jul 2, 2020Updated 5 years ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆59Jul 19, 2023Updated 2 years ago