byorgey / comprog-hsLinks
Competitive programming utilities in Haskell
☆42Updated 3 weeks ago
Alternatives and similar repositories for comprog-hs
Users that are interested in comprog-hs are comparing it to the libraries listed below
Sorting:
- Fast parsing from bytestrings☆173Updated 3 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated 3 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆138Updated 2 years ago
- Distributors - Unifying Parsers, Printers & Grammars☆59Updated 2 weeks ago
- Effects libraries in Haskell☆71Updated 2 years ago
- Automatically generate Haskell bindings from C header files☆69Updated last week
- Strongly-typed System F in Haskell☆120Updated 3 years ago
- Source material for Certainty by Construction☆47Updated last year
- Fast equality saturation in Haskell☆92Updated 3 weeks ago
- A re-implementation of weeder using HIE files☆184Updated 2 weeks ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆110Updated 3 weeks ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆76Updated last week
- A Haskell blog☆151Updated 2 months ago
- todo and unimplemented, robustly implemented☆36Updated last year
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆44Updated last month
- A modern step-through debugger for GHC Haskell☆88Updated 3 weeks ago
- GHC Whole Program Compiler and External STG IR tooling☆120Updated 2 months ago
- LLVM code generation in Haskell☆54Updated last year
- A tool suite to aid Haskell development using `cabal-install`☆90Updated 7 months ago
- haskell source code visualizer☆101Updated 8 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆57Updated 3 weeks ago
- Compiling Agda code to readable Haskell☆196Updated last month
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Terminal Emulator written in 100% Haskell☆69Updated 3 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated last week
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- ☆140Updated this week
- Named parameters (keyword arguments) for Haskell☆98Updated 9 months ago