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 2 months ago
- 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
- Some articles by flipradio anchor --- Li HouChen☆12Apr 1, 2021Updated 4 years ago
- Advanced automatic layout generator for better graph visualization.☆11Jan 21, 2024Updated 2 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- Summoner's core SDK for building and deploying agents☆13Feb 18, 2026Updated 2 weeks 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
- Levenshtein edit distance, packaged for ATS☆12Apr 11, 2022Updated 3 years ago
- ☆14Jul 4, 2022Updated 3 years ago
- Asynchronous C++ interoperability for Rust☆10Sep 21, 2021Updated 4 years ago
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 8 years ago
- stylish-haskell support for VS code☆14Jan 15, 2021Updated 5 years ago
- Use network sockets together with the Haskell pipes library.☆25Apr 16, 2022Updated 3 years ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last month
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- A tool for facilitating livestock contact tracing.☆13Oct 10, 2024Updated last year
- Higher level WASM library for Rust☆10Dec 11, 2024Updated last year
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- Neural-Network Guided Expression Transformation☆13Apr 15, 2018Updated 7 years ago
- A collection of simple worlds☆12Nov 26, 2019Updated 6 years ago
- Ein episches Rollenspiel für den Tiptoi☆14Dec 23, 2024Updated last year
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 8 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
- super duper web sight☆12Jul 9, 2025Updated 7 months ago
- ☆10Jun 15, 2018Updated 7 years ago
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 14 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- My old Mjolnir configuration, superseded by my Hammerspoon configuration!☆11Jan 28, 2019Updated 7 years ago