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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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
- 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"☆25Nov 22, 2022Updated 3 years ago
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 5 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 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
- ICFP 2019 preprints/papers☆44Jul 31, 2019Updated 6 years ago
- A table library for Idris 2☆15Oct 25, 2022Updated 3 years ago
- A How-To Performance Tuning Book for Haskell☆20May 7, 2021Updated 4 years ago
- Uniform interface to reified data type information via Template Haskell☆20Jan 10, 2026Updated 2 months ago
- Experiments with preordered set models of (directed) type theories☆15Jul 10, 2019Updated 6 years ago
- ☆21Jan 24, 2022Updated 4 years ago
- A polynomial model of a Martin-Löf type theory + a bit of game semantics☆31Dec 3, 2021Updated 4 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- Data frames for Idris 2☆23Jan 10, 2023Updated 3 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Apr 6, 2020Updated 5 years ago
- Course on Metaprogramming☆76Feb 5, 2026Updated last month
- An editor for interactively building natural deduction proofs☆20Sep 24, 2018Updated 7 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Mar 3, 2026Updated 3 weeks ago
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- Relative Monad Library for Agda☆24May 29, 2019Updated 6 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Dec 1, 2017Updated 8 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆31Oct 19, 2022Updated 3 years ago
- being a particular fragment of Haskell, extended to a proof system☆43Mar 2, 2026Updated 3 weeks ago
- Multimode simple type theory as an Agda library.☆23Sep 18, 2024Updated last year
- Toy implementation of Martin-Löf Type Theory☆30Mar 3, 2026Updated 3 weeks ago
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated 8 months ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Aug 12, 2015Updated 10 years ago
- Quantitative Type Theory implementation☆54Jun 2, 2021Updated 4 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Feb 25, 2020Updated 6 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated 2 months ago
- Slides and code from the talk "Journey to Functional Programming", given at Wix Engineering Conference☆11Jul 23, 2017Updated 8 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆232Dec 30, 2025Updated 2 months ago
- ☆11Oct 20, 2020Updated 5 years ago
- Easy entropy source for Haskell users.☆28Feb 8, 2026Updated last month
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆311Feb 1, 2024Updated 2 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago