recursion-ninja / CSCI-499-2021-FallLinks
CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course
☆28Updated 3 years ago
Alternatives and similar repositories for CSCI-499-2021-Fall
Users that are interested in CSCI-499-2021-Fall are comparing it to the libraries listed below
Sorting:
- CSCI 499 — Advanced Applications: A Hunter Fall 2025 Course☆26Updated 2 weeks ago
- HoTTEST Summer School materials☆313Updated 4 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆402Updated 3 weeks ago
- Course materials for Chalmers TPIL25 class☆15Updated 8 months ago
- The Incredible Proof Machine☆383Updated 7 months ago
- A systems theorem prover☆12Updated last year
- run and encode simple register machine programs☆15Updated 4 years ago
- The agda-unimath library☆270Updated this week
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆308Updated last year
- A demo implementation of a simple dependently-typed language☆612Updated 11 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆122Updated last year
- A formal logic framework that runs in the browser☆305Updated 10 months ago
- A new Categories library for Agda☆389Updated last week
- Lecture notes on univalent foundations of mathematics with Agda☆230Updated last year
- An introductory course to Homotopy Type Theory☆374Updated 5 years ago
- Proving leftpad correct two-dozen different ways☆701Updated 5 months ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 4 years ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆634Updated this week
- An experimental library for Cubical Agda☆508Updated this week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆300Updated last year
- Advent of Code 2020 Haskell Solutions☆16Updated 4 years ago
- 🎄❄️Advent of Code solutions in Haskell 🎅🎁☆10Updated 9 months ago
- An interpreter for learning and exploring pure λ-calculus☆466Updated 4 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- A proof assistant for higher-dimensional type theory☆216Updated last month
- Minimal implementations for dependent type checking and elaboration☆733Updated 2 months ago
- A complete specification on Zilch and N⋆☆11Updated 2 years ago
- ☆23Updated 4 years ago
- Organization and planning for the Initial Types Club☆73Updated 3 years ago