The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
☆25Jun 20, 2021Updated 5 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:
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Nov 22, 2022Updated 3 years ago
- The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course☆32Jan 8, 2019Updated 7 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 6 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Internalizing intensional type theory☆12Jun 20, 2015Updated 11 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆40Jul 9, 2020Updated 6 years ago
- Experiments with preordered set models of (directed) type theories☆16Jul 10, 2019Updated 7 years ago
- ICFP 2019 preprints/papers☆44Jul 31, 2019Updated 7 years ago
- A table library for Idris 2☆16Oct 25, 2022Updated 4 years ago
- Benchmarking tool for compile-time performance of Agda programs☆20Jan 26, 2022Updated 4 years ago
- Uniform interface to reified data type information via Template Haskell☆20Jan 10, 2026Updated 9 months ago
- Formalization of Categories with Families☆16Oct 4, 2021Updated 5 years ago
- A How-To Performance Tuning Book for Haskell☆20May 7, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 3 years ago
- A polynomial model of a Martin-Löf type theory + a bit of game semantics☆31Dec 3, 2021Updated 4 years ago
- A RPC Server implement base on Raft Paper in Golang☆10Jun 17, 2016Updated 10 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆26May 28, 2026Updated 5 months ago
- ☆23Jan 24, 2022Updated 4 years ago
- Quantitative Type Theory implementation☆54Jun 2, 2021Updated 5 years ago
- Course notes for Pure Mathematics Topic D 2019☆54Apr 6, 2020Updated 6 years ago
- ☆11Dec 14, 2023Updated 2 years ago
- An editor for interactively building natural deduction proofs☆20Sep 24, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- Command-line haskell utility to get current weather using the forecast.IO API☆12Mar 7, 2016Updated 10 years ago
- Tutorial series introducing Agda to the people at BCAM☆28Nov 29, 2021Updated 4 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Dec 1, 2017Updated 8 years ago
- Data frames for Idris 2☆23Jan 10, 2023Updated 3 years ago
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- Elixir Distributed Systems Lab - Learn distributed systems by building them from first principles using raw Elixir process primitives.☆11Sep 16, 2026Updated last month
- Slides and code from the talk "Journey to Functional Programming", given at Wix Engineering Conference☆11Jul 23, 2017Updated 9 years ago
- being a collection of Agda-facilitated ramblings☆33May 20, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Multimode simple type theory as an Agda library.☆22Sep 18, 2024Updated 2 years ago
- ☆10Oct 20, 2020Updated 6 years ago
- Toy implementation of Martin-Löf Type Theory☆30Mar 3, 2026Updated 7 months ago
- Relative Monad Library for Agda☆24May 29, 2019Updated 7 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Feb 25, 2020Updated 6 years ago
- Compiler Construction MSc course lecture material☆10Sep 28, 2021Updated 5 years ago
- Course on Metaprogramming☆78Feb 5, 2026Updated 8 months ago