Snippets for competitive programming in Haskell
☆21Sep 3, 2017Updated 8 years ago
Alternatives and similar repositories for competitive-haskell
Users that are interested in competitive-haskell are comparing it to the libraries listed below
Sorting:
- Well-typed paths☆20Dec 17, 2018Updated 7 years ago
- Checker for "morally correct" induction proofs about haskell programs☆31Mar 9, 2022Updated 3 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- A bad XML parser☆22Sep 2, 2024Updated last year
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- Formalization of Linear Logic☆11Jun 25, 2017Updated 8 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 8 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- A short scripts and programs☆11Jan 5, 2023Updated 3 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- TripleSec is a simple, triple-paranoid, symmetric encryption library☆13Dec 26, 2023Updated 2 years ago
- Selective applicative functors☆16Jul 2, 2018Updated 7 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 7 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 years ago
- Cloud Haskell - gen_server implementation☆13Sep 3, 2024Updated last year
- 🔖 Better Haskell documentation.☆17Sep 11, 2020Updated 5 years ago
- Haskell bindings to libargon2 - the reference implementation of the Argon2 password-hashing function☆17Jun 24, 2024Updated last year
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language☆14Oct 29, 2019Updated 6 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 9 years ago
- Web Application Framework☆22Mar 27, 2013Updated 12 years ago
- SPAKE2 key exchange protocol for Haskell☆14May 24, 2023Updated 2 years ago
- YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)☆16Jun 3, 2025Updated 9 months ago
- Examples to demonstrate the core computational structures of Haskell based scotty web framework library☆14May 13, 2017Updated 8 years ago
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 8 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 8 years ago
- Exhaustiveness and redundancy analysis for Haskell pattern matching☆12Aug 16, 2017Updated 8 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 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
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 4 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Jun 21, 2018Updated 7 years ago
- Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.☆22Jun 6, 2025Updated 8 months ago