http://www.cse.chalmers.se/edu/course/afp/
☆16Dec 1, 2015Updated 10 years ago
Alternatives and similar repositories for AFPcourse
Users that are interested in AFPcourse are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆30Dec 11, 2023Updated 2 years ago
- Formal topology (and some probability) in Coq☆31Nov 30, 2018Updated 7 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆19Jan 1, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆20Jan 28, 2018Updated 8 years ago
- A PostgreSQL backed queue☆16Jan 21, 2020Updated 6 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆40Jul 9, 2020Updated 6 years ago
- Linear Regression in Haskell☆15Aug 22, 2014Updated 12 years ago
- Translator from GHC Core to Isabelle/HOLCF☆16May 2, 2012Updated 14 years ago
- being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde☆13May 9, 2017Updated 9 years ago
- ☆12May 9, 2015Updated 11 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- A nano "theorem prover".☆63Feb 15, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.☆21Jan 31, 2022Updated 4 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Sep 10, 2015Updated 11 years ago
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Dec 1, 2017Updated 8 years ago
- Dependently-typed structures for quantum physics in Idris☆13Nov 25, 2015Updated 10 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Oct 25, 2022Updated 4 years ago
- handouts and notes from the 2017 edition of the summer school☆39Jul 13, 2017Updated 9 years ago
- S. Marlow's Par monad with dataflow graph output☆13Mar 26, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- slides, code examples, planning for hands-on-haskell meetups☆11Jul 7, 2017Updated 9 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 3 years ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Aug 12, 2015Updated 11 years ago
- Simulation of a deterministic Turing Machine using Haskell☆13May 1, 2013Updated 13 years ago
- Reflection library for Coq☆12Sep 26, 2019Updated 7 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 6 years ago
- My personal development environment☆11Updated this week
- Generic programming with indexed families☆12May 27, 2012Updated 14 years ago
- Screen buffer component used in ttycast (client and server).☆10Feb 15, 2014Updated 12 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Specification for Dependent Types in Haskell (Core)☆64Jun 30, 2022Updated 4 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Sep 10, 2026Updated last month
- Tactic Metaprogramming in Haskell☆57Jul 7, 2019Updated 7 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- A program for evaluating a Haskell expression step-by-step☆49Nov 20, 2016Updated 9 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆14Oct 9, 2023Updated 3 years ago
- A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.☆11Apr 25, 2017Updated 9 years ago