The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
☆24Jun 20, 2021Updated 4 years ago
Alternatives and similar repositories for CS316-2020
Users that are interested in CS316-2020 are comparing it to the libraries listed below
Sorting:
- The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course☆31Jan 8, 2019Updated 7 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Nov 22, 2022Updated 3 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Updated this week
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 5 years ago
- A table library for Idris 2☆15Oct 25, 2022Updated 3 years ago
- ☆21Jan 24, 2022Updated 4 years ago
- 💠 EMQ: N2O over MQTT for NYNJA 1.0☆15Aug 18, 2019Updated 6 years ago
- ICFP 2019 preprints/papers☆44Jul 31, 2019Updated 6 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆40Jul 9, 2020Updated 5 years ago
- Benchmarking tool for compile-time performance of Agda programs☆19Jan 26, 2022Updated 4 years ago
- An editor for interactively building natural deduction proofs☆20Sep 24, 2018Updated 7 years ago
- Data frames for Idris 2☆23Jan 10, 2023Updated 3 years ago
- Experiments with preordered set models of (directed) type theories☆15Jul 10, 2019Updated 6 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- Uniform interface to reified data type information via Template Haskell☆20Jan 10, 2026Updated last month
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Dec 1, 2017Updated 8 years ago
- Hanoi tower in Coq☆26Jan 29, 2026Updated last month
- Easy entropy source for Haskell users.☆28Feb 8, 2026Updated 3 weeks ago
- A How-To Performance Tuning Book for Haskell☆20May 7, 2021Updated 4 years ago
- Relative Monad Library for Agda☆24May 29, 2019Updated 6 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- Multimode simple type theory as an Agda library.☆23Sep 18, 2024Updated last year
- Toy implementation of Martin-Löf Type Theory☆30Aug 29, 2022Updated 3 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Apr 6, 2020Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Feb 25, 2020Updated 6 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆31Oct 19, 2022Updated 3 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆311Feb 1, 2024Updated 2 years ago
- Formalizing nbe in agda☆32Nov 22, 2012Updated 13 years ago
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- ☆29Jun 23, 2022Updated 3 years ago
- Course on Metaprogramming☆75Feb 5, 2026Updated last month
- Lecture notes on univalent foundations of mathematics with Agda☆232Dec 30, 2025Updated 2 months ago
- Nightly builds☆23Updated this week
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Aug 12, 2015Updated 10 years ago
- Implementation of frequent pattern mining using Apriori in python. It can also mine closed and max patterns from frequent itemsets.☆13Jun 6, 2018Updated 7 years ago
- ☆38Oct 23, 2021Updated 4 years ago
- ☆26Jan 22, 2024Updated 2 years ago