agrafix / hvectView external linksLinks
Haskell: Simple heterogeneous lists
☆10Feb 7, 2022Updated 4 years ago
Alternatives and similar repositories for hvect
Users that are interested in hvect are comparing it to the libraries listed below
Sorting:
- Simple string substitution for Haskell.☆15May 8, 2018Updated 7 years ago
- :fork command for ghci☆21Jan 7, 2019Updated 7 years ago
- Basic Hakyll + Bootstrap site☆29Nov 23, 2017Updated 8 years ago
- Measure allocations of a Haskell functions/values☆101Nov 1, 2024Updated last year
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Dec 27, 2025Updated last month
- An implementation of the Raft consensus protocol☆121Dec 14, 2022Updated 3 years ago
- Automatically finds dependencies and runs a Haskell file with stack (no cabal manifest, no stack.yaml, no project, no friction)☆32Aug 11, 2016Updated 9 years ago
- Haskell: Supercharged anonymous records☆83Nov 12, 2022Updated 3 years ago
- Template for getting up and running with macros in no time.☆35Oct 17, 2014Updated 11 years ago
- Advanced automatic layout generator for better graph visualization.☆11Jan 21, 2024Updated 2 years ago
- Some articles by flipradio anchor --- Li HouChen☆11Apr 1, 2021Updated 4 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- This repository includes files and guides to make the Spike Prime/Robot Inventor Conversion.☆11Jan 7, 2025Updated last year
- Behavior Tree System for Torque3D☆10Jun 29, 2019Updated 6 years ago
- Summoner's core SDK for building and deploying agents☆12Feb 4, 2026Updated last week
- Higher level WASM library for Rust☆10Dec 11, 2024Updated last year
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Repository for my dotfiles☆12Dec 3, 2025Updated 2 months ago
- A tool for facilitating livestock contact tracing.☆13Oct 10, 2024Updated last year
- Ein episches Rollenspiel für den Tiptoi☆14Dec 23, 2024Updated last year
- dead simple reverse proxy and webserver☆11Updated this week
- A collection of simple worlds☆12Nov 26, 2019Updated 6 years ago
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆13Jun 13, 2020Updated 5 years ago
- Use network sockets together with the Haskell pipes library.☆25Apr 16, 2022Updated 3 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last week
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- rust wrapper for libyubihsm☆13Dec 29, 2025Updated last month
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 8 years ago
- A simple pure LRU cache written in Haskell☆19Dec 3, 2018Updated 7 years ago
- ☆14Jul 4, 2022Updated 3 years ago
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 13 years ago
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 8 years ago
- Asynchronous C++ interoperability for Rust☆10Sep 21, 2021Updated 4 years ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Neural-Network Guided Expression Transformation☆13Apr 15, 2018Updated 7 years ago
- super duper web sight☆12Jul 9, 2025Updated 7 months ago
- A PGF backend for diagrams☆15Sep 16, 2025Updated 4 months ago
- ☆10Jun 15, 2018Updated 7 years ago