Hashing with SL2 for Haskell
☆20Nov 29, 2019Updated 6 years ago
Alternatives and similar repositories for hwsl2-haskell
Users that are interested in hwsl2-haskell are comparing it to the libraries listed below
Sorting:
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 14 years ago
- ☆11Jun 19, 2021Updated 4 years ago
- Extensible sums and products for Haskell☆19Feb 25, 2026Updated last week
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 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
- Pretty printer for Scala type errors☆13Jan 1, 2017Updated 9 years ago
- Simple LaTeX☆17Apr 26, 2024Updated last year
- Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation☆14Nov 11, 2016Updated 9 years ago
- Symbol manipulation☆37Apr 17, 2023Updated 2 years ago
- ☆21Jan 1, 2023Updated 3 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- An example of dynamically loading a Haskell source module☆18May 9, 2018Updated 7 years ago
- Static site generator based on Hakyll☆16Aug 10, 2022Updated 3 years ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Jan 28, 2018Updated 8 years ago
- ScalaSyd organisational things.☆19Sep 13, 2017Updated 8 years ago
- Tiny executable techniques for dealing with emoji☆22Apr 4, 2021Updated 4 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Jul 7, 2018Updated 7 years ago
- Kind-safe framework for type-safe APIs☆78Aug 4, 2019Updated 6 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Jan 18, 2020Updated 6 years ago
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 8 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Sep 11, 2024Updated last year
- ☆17Jan 16, 2018Updated 8 years ago
- what it says on the tin☆24Jun 6, 2018Updated 7 years ago
- Printable (A4) overview of tactics in Lean 4 for beginners☆31Sep 19, 2024Updated last year
- A slack bot that will fetch type signatures via Hoogle☆21May 11, 2016Updated 9 years ago
- A binding to puppeteer to drive headless Chrome.☆50May 16, 2022Updated 3 years ago
- Raspberry Pi HTTP Interface for GPIO Control☆21Feb 7, 2017Updated 9 years ago
- ☆16Nov 19, 2015Updated 10 years ago
- Configure dzen2 bars in Dhall language☆24Feb 18, 2020Updated 6 years ago
- An sbt plugin that integrates Eta into Scala projects.☆57May 6, 2019Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- Slides for my talks at various meetups.☆22Sep 15, 2025Updated 5 months ago
- Double ratchet algorithm for E2E encryption☆61Nov 22, 2018Updated 7 years ago
- ScalaBot is a lightweight Scala Library that can be used to easily create ChatBots.☆25May 5, 2019Updated 6 years ago
- Tools for building 3D interactive programs in Haskell☆73Feb 18, 2026Updated 2 weeks ago
- nix scripts shared across projects☆60Updated this week
- ☆24Nov 30, 2021Updated 4 years ago
- A simple set of io-uring bindings in Haskell☆28Jul 21, 2020Updated 5 years ago