byorgey / comprog-hsLinks
Competitive programming utilities in Haskell
☆38Updated 6 months ago
Alternatives and similar repositories for comprog-hs
Users that are interested in comprog-hs are comparing it to the libraries listed below
Sorting:
- Source material for Certainty by Construction☆43Updated last year
- Automatically generate Haskell bindings from C header files☆52Updated this week
- Fast parsing from bytestrings☆161Updated 3 weeks ago
- GHC Whole Program Compiler and External STG IR tooling☆118Updated 8 months ago
- A community-driven collection of documentation for Haskell error messages and warnings☆105Updated 3 months ago
- Effects libraries in Haskell☆71Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆130Updated last year
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆102Updated last week
- Fast equality saturation in Haskell☆84Updated this week
- Functional choreographic programming in Haskell☆95Updated last month
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆39Updated last month
- Agda lecture notes for the Functional Programming course at TU Delft☆127Updated last year
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆67Updated last year
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated last month
- Distributors - Unifying Parsers, Printers & Grammars☆25Updated this week
- ☆112Updated this week
- todo and unimplemented, robustly implemented☆36Updated 10 months ago
- Reimplementation of Parsley in Haskell, with improvements☆56Updated last year
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- ☆101Updated 2 weeks ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated this week
- Compiling Agda code to readable Haskell☆189Updated last week
- A re-implementation of weeder using HIE files☆177Updated 3 weeks ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 3 months ago
- A tool suite to aid Haskell development using `cabal-install`☆87Updated last month
- A Haskell blog☆144Updated this week
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆60Updated last month