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:
- An interpreter for learning and exploring pure λ-calculus☆464Updated 4 years ago
- 🕵️ Haskell STatic ANalyser☆582Updated last month
- An experimental library for Cubical Agda☆491Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆382Updated this week
- Standard library for linear types in Haskell.☆345Updated 3 weeks ago
- The Agda standard library☆619Updated this week
- An introductory course to Homotopy Type Theory☆373Updated 4 years ago
- A new Categories library for Agda☆384Updated last week
- HoTTEST Summer School materials☆303Updated last month
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆301Updated last year
- Lecture notes on univalent foundations of mathematics with Agda☆228Updated last year
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- A List of Foundational Haskell Papers☆875Updated 8 months ago
- Liquid Types For Haskell☆1,252Updated this week
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆510Updated 2 weeks ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆700Updated 2 months ago
- Repositorio de la optativa para la FCEIA☆16Updated 3 months ago
- A little course to learn about some of the more obscure GHC extensions.☆652Updated last year
- higher-order, no-boilerplate monads☆1,056Updated 4 months ago
- A formatter for Haskell source code☆1,005Updated 2 months ago
- Algebraic graphs☆741Updated this week
- The Haskell performance checklist☆391Updated 5 years ago
- Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations☆443Updated last week
- A ready-to-fork interpreted functional language with type inference☆414Updated this week
- A demo implementation of a simple dependently-typed language☆595Updated 8 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆622Updated 2 months ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆718Updated 2 months ago
- A formal logic framework that runs in the browser☆294Updated 7 months ago
- The agda-unimath library☆259Updated 3 weeks ago
- ☆233Updated 11 months ago