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☆25Updated last week
- HoTTEST Summer School materials☆312Updated 3 months ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- A new Categories library for Agda☆387Updated last week
- The agda-unimath library☆269Updated this week
- An introductory course to Homotopy Type Theory☆373Updated 5 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆397Updated this week
- The Agda standard library☆626Updated this week
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆307Updated last year
- Lecture notes on univalent foundations of mathematics with Agda☆230Updated last year
- An experimental library for Cubical Agda☆504Updated this week
- Number theory: primes, arithmetic functions, modular computations, special sequences☆155Updated 2 weeks ago
- 🕵️ Haskell STatic ANalyser☆582Updated last month
- 🚧 a work in progress effect system for Haskell 🚧☆560Updated 2 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- An introduction to programming language theory in Agda☆1,454Updated this week
- Generalized bananas, lenses and barbed wire☆350Updated last month
- Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird☆17Updated 12 years ago
- Minimal implementations for dependent type checking and elaboration☆733Updated last month
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆34Updated 4 years ago
- An interpreter for learning and exploring pure λ-calculus☆466Updated 4 years ago
- A demo implementation of a simple dependently-typed language☆611Updated 10 months ago
- ☆23Updated 3 years ago
- A prompt engineering functional programming language☆440Updated this week
- Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations☆448Updated last week
- Standard library for linear types in Haskell.☆350Updated 3 months ago
- Mathematical Components☆652Updated this week
- formally verified category theory library☆264Updated 5 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆120Updated last year
- Maintenance of the pointfree Hackage package.☆145Updated 11 months ago