lollobaldo / Inf2D-cw1--autotesterLinks
☆23Updated 3 years ago
Alternatives and similar repositories for Inf2D-cw1--autotester
Users that are interested in Inf2D-cw1--autotester are comparing it to the libraries listed below
Sorting:
- An introduction to programming language theory in Agda☆1,451Updated 3 weeks ago
- Tensors and neural networks in Haskell☆1,150Updated 3 weeks ago
- Liquid Types For Haskell☆1,256Updated this week
- The Agda standard library☆624Updated 3 weeks ago
- papers of Per Martin Löf☆799Updated last year
- A List of Foundational Haskell Papers☆881Updated 9 months ago
- 🎄❄️Advent of Code solutions in Haskell 🎅🎁☆10Updated 8 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆305Updated last year
- An introductory course to Homotopy Type Theory☆372Updated 5 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆631Updated last year
- Research language for array processing in the Haskell/ML family☆1,626Updated 7 months ago
- A little course to learn about some of the more obscure GHC extensions.☆656Updated last year
- An interpreter for learning and exploring pure λ-calculus☆464Updated 4 years ago
- ☆233Updated last year
- I'm trying to update the Real World Haskell book☆791Updated 2 years ago
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆73Updated this week
- The Arend Proof Assistant☆725Updated 6 months ago
- A new Categories library for Agda☆385Updated this week
- HoTTEST Summer School materials☆311Updated 3 months ago
- Industrial-strength monadic parser combinator library☆952Updated last week
- Minimal implementations for dependent type checking and elaboration☆730Updated 3 weeks ago
- An opinionated list of resources for learning Haskell☆919Updated 3 years ago
- higher-order, no-boilerplate monads☆1,058Updated 5 months ago
- A demo implementation of a simple dependently-typed language☆610Updated 9 months ago
- A gently curated list of companies using Haskell in industry☆976Updated 4 months ago
- Mathematical Components☆641Updated this week
- This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.☆988Updated 3 weeks ago
- An experimental library for Cubical Agda☆500Updated 2 weeks ago
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆510Updated last month
- Haskell 101 and 102: slides and codelabs☆1,405Updated 2 years ago