byorgey / comprog-hsLinks
Competitive programming utilities in Haskell
☆38Updated 7 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:
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆105Updated 2 weeks ago
- Strongly-typed System F in Haskell☆118Updated 2 years ago
- Fast equality saturation in Haskell☆86Updated 3 weeks ago
- GHC Whole Program Compiler and External STG IR tooling☆118Updated 8 months ago
- A Haskell blog☆146Updated 3 weeks ago
- Fast parsing from bytestrings☆165Updated last month
- Distributors - Unifying Parsers, Printers & Grammars☆25Updated this week
- A tutorial on how Agda infers things☆60Updated last month
- Benchmarks for capture-avoiding substitution☆119Updated 2 months ago
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆40Updated 2 months ago
- Effects libraries in Haskell☆71Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆131Updated last year
- Compiling Agda code to readable Haskell☆190Updated last week
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 3 weeks ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- Source material for Certainty by Construction☆44Updated last year
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆40Updated 6 months ago
- Functional choreographic programming in Haskell☆101Updated 2 months ago
- LLVM code generation in Haskell☆54Updated 9 months ago
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated 4 months ago
- Reimplementation of Parsley in Haskell, with improvements☆56Updated last year
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated last year
- Language Server for Agda☆113Updated last week
- The theory of groups☆80Updated last year
- Automatically generate Haskell bindings from C header files☆54Updated this week
- The Software Foundations book, in GHC☆83Updated 7 months ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago