aimyskk / competitive-haskell
Snippets for competitive programming in Haskell
☆22Updated 7 years ago
Related projects: ⓘ
- Learn the Agda basics in three 2-hour sessions.☆53Updated 10 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆28Updated 9 months ago
- Basics of the dependently-typed functional language Agda ^_^☆37Updated 2 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- Competitive programming utilities in Haskell☆25Updated last month
- An experimental Haskell library for programming with effectful runners.☆29Updated 4 years ago
- A Really Cool Calculator written in Haskell... or is it?☆40Updated 3 years ago
- ☆33Updated 4 months ago
- The Software Foundations book, in GHC☆81Updated 3 months ago
- They see me rollin'. They're Heyting. Patrollin' and tryna catch me ridin' dirty. -- Chamillionaire, 2005☆82Updated 3 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Fine-grained lattice primitives for Haskell☆35Updated last month
- Go get tested! Github Actions matrix generator for your haskell projects☆44Updated this week
- Where my everyday research happens☆53Updated 3 weeks ago
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆38Updated 2 months ago
- Reimplementation of Parsley in Haskell, with improvements☆49Updated 6 months ago
- Functions and newtype wrappers for traversing Trees☆29Updated last week
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- ☆46Updated 5 months ago
- Prototype implementations of systems based on setoid type theory☆64Updated 3 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated 2 weeks ago
- Modular arithmetic, promoting moduli to the type level☆24Updated 4 months ago
- being the materials for Summer 2013's course☆110Updated last year
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆66Updated 11 months ago
- Named parameters (keyword arguments) for Haskell☆92Updated last year
- A library for doing generic programming in Agda☆28Updated 3 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- A tool suite to aid Haskell development using `cabal-install`☆80Updated 2 months ago
- A tutorial on how Agda infers things☆33Updated 3 years ago