Competitive programming utilities in Haskell
☆41Jan 11, 2026Updated last month
Alternatives and similar repositories for comprog-hs
Users that are interested in comprog-hs are comparing it to the libraries listed below
Sorting:
- ☆12Jun 22, 2023Updated 2 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Apr 22, 2025Updated 10 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- Brent's PhD thesis.☆69Apr 8, 2016Updated 9 years ago
- A simple optics library based on existential encoding☆14Apr 28, 2022Updated 3 years ago
- Do notation in Python.☆10Feb 22, 2021Updated 5 years ago
- ☆21Apr 15, 2018Updated 7 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- ☆17Oct 16, 2018Updated 7 years ago
- An experiment in declaratively programming parallel pipelines of state machines.☆18Mar 20, 2023Updated 2 years ago
- Universal Live Coding & Functional Reactive Programming Framework☆68Dec 12, 2025Updated 2 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Sep 10, 2025Updated 5 months ago
- ☆22Jan 24, 2026Updated last month
- A high-performance striped resource pooling implementation for Haskell☆26Jun 13, 2025Updated 8 months ago
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- My take on writing 'Ray Tracing in One Weekend' with Haskell☆15Aug 16, 2025Updated 6 months ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- Bibliography of Scheme-related Research☆16Apr 11, 2019Updated 6 years ago
- Experiments with preordered set models of (directed) type theories☆15Jul 10, 2019Updated 6 years ago
- Awesome Agda Programming☆18Sep 22, 2025Updated 5 months ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 11 years ago
- ☆38Sep 1, 2019Updated 6 years ago
- Work in progress on semi-simplicial types☆23Dec 15, 2022Updated 3 years ago
- EOPL in Haskell☆22Feb 13, 2026Updated 3 weeks ago
- Haskell Tiny Game Jam☆168Aug 31, 2023Updated 2 years ago
- being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session☆19Nov 22, 2022Updated 3 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- Sample code to go with my "Writing a bytecode virtual machine in C++" video.☆19Mar 6, 2022Updated 3 years ago
- A library for producing terminal plots.☆72Updated this week
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Nov 22, 2022Updated 3 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Dec 5, 2024Updated last year
- Agda formalization of Intuitionistic Propositional Logic☆22Nov 14, 2025Updated 3 months ago
- Homotopy Type Theory proofs in Idris☆22May 22, 2019Updated 6 years ago
- Lens interface for your filesystem☆22Dec 21, 2020Updated 5 years ago
- ☆24Jul 23, 2024Updated last year
- A pkg-config wrapper exposing nixpkgs packages☆26Nov 27, 2021Updated 4 years ago