byorgey / comprog-hs
Competitive programming utilities in Haskell
☆30Updated 2 months ago
Alternatives and similar repositories for comprog-hs:
Users that are interested in comprog-hs are comparing it to the libraries listed below
- A work-in-progress core language for Agda, in Agda☆48Updated last week
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 4 years ago
- A tutorial on how Agda infers things☆41Updated 4 years ago
- Source material for Certainty by Construction☆41Updated last year
- Benchmarks for capture-avoiding substitution☆113Updated this week
- Learn the Agda basics in three 2-hour sessions.☆56Updated last year
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- Lecture notes on realizability☆73Updated last month
- Fast equality saturation in Haskell☆84Updated last month
- Effects libraries in Haskell☆71Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- Distributors - Unifying Parsers, Printers & Grammars☆18Updated last week
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- being an operating system for typechecking processes☆125Updated last year
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- The Iowa Agda Library☆47Updated 3 months ago
- high-performance cubical evaluation☆70Updated 4 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆90Updated 2 weeks ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Haskell GHC reading guide☆35Updated 4 years ago
- Compiling Agda code to readable Haskell☆183Updated this week
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- todo and unimplemented, robustly implemented☆33Updated 6 months ago
- ☆99Updated 2 weeks ago
- A tool suite to aid Haskell development using `cabal-install`☆85Updated 3 months ago
- Fast parsing from bytestrings☆157Updated 2 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year