aimyskk / competitive-haskellLinks
Snippets for competitive programming in Haskell
☆22Updated 8 years ago
Alternatives and similar repositories for competitive-haskell
Users that are interested in competitive-haskell are comparing it to the libraries listed below
Sorting:
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 3 weeks ago
- semirings and *-semirings of types in base/haskell-platform☆43Updated last year
- todo and unimplemented, robustly implemented☆36Updated last year
- Learn the Agda basics in three 2-hour sessions.☆60Updated last year
- Named parameters (keyword arguments) for Haskell☆97Updated 6 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 7 months ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Combine and enhance Functors☆39Updated last month
- Tools for functors from Hask^k to Hask☆23Updated 6 years ago
- rewrite rules for type-level equalities☆62Updated 3 weeks ago
- Functions and newtype wrappers for traversing Trees☆30Updated last year
- Example uses of linear types☆43Updated 5 years ago
- APIs for more recursive definitions☆19Updated 10 months ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- ☆41Updated 5 years ago
- Library of categories, with categorical constructions on them☆57Updated 2 years ago
- Fine-grained lattice primitives for Haskell☆37Updated 2 months ago
- Automatic type class law checking.☆24Updated 8 months ago
- type level sets☆67Updated 5 years ago
- Distributors - Unifying Parsers, Printers & Grammars☆53Updated this week
- Language Server for Agda☆115Updated this week
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last week
- 👅 Parse Haskell Language Extensions☆48Updated 3 weeks ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- a modern library for typed path manipulation in Haskell☆36Updated last month
- Selective Functors & Probabilistic Programming☆22Updated 4 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆76Updated 3 weeks ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago