byorgey / comprog-hs
Competitive programming utilities in Haskell
☆25Updated last month
Related projects: ⓘ
- Fast equality saturation in Haskell☆75Updated 4 months ago
- Snippets for competitive programming in Haskell☆22Updated 7 years ago
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- Lecture notes on realizability☆65Updated 5 months ago
- Benchmarks for capture-avoiding substitution☆106Updated last year
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated 2 months ago
- Strongly-typed System F in Haskell☆117Updated last year
- being an operating system for typechecking processes☆120Updated last year
- Fast parsing from bytestrings☆144Updated 3 weeks ago
- A community-driven collection of documentation for Haskell error messages and warnings☆99Updated last week
- Prototype implementations of systems based on setoid type theory☆64Updated 3 years ago
- Functional choreographic programming in Haskell☆78Updated last week
- Learn the Agda basics in three 2-hour sessions.☆53Updated 10 months ago
- high-performance cubical evaluation☆67Updated 2 months ago
- ☆85Updated this week
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆76Updated 3 weeks ago
- Language Server for Agda☆100Updated 9 months ago
- This aims to be the most pretentious implementation of stlc in existence☆60Updated 2 years ago
- LLVM code generation in Haskell☆49Updated 11 months ago
- Staged push/pull fusion with typed Template Haskell☆57Updated 9 months ago
- ☆35Updated 2 years ago
- Horn Clause Constraint Solving for Liquid Types☆132Updated this week
- Haskell library for type-inference with Hindley-Milner type-system.☆32Updated 3 months ago
- A tutorial on how Agda infers things☆33Updated 3 years ago
- The theory of groups☆76Updated last year
- A work-in-progress core language for Agda, in Agda☆31Updated last week
- They see me rollin'. They're Heyting. Patrollin' and tryna catch me ridin' dirty. -- Chamillionaire, 2005☆82Updated 3 years ago
- The Software Foundations book, in GHC☆81Updated 3 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆61Updated last year