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☆15Updated last week
- A formatter for Haskell source code☆1,014Updated last week
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- 🕵️ Haskell STatic ANalyser☆583Updated last week
- An interpreter for learning and exploring pure λ-calculus☆464Updated 4 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆393Updated this week
- Lambda Calculus compiler for Codewars☆16Updated last year
- Standard library for linear types in Haskell.☆349Updated 2 months ago
- HoTTEST Summer School materials☆311Updated 3 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆119Updated last year
- NullPointerExceptions in Haskell☆58Updated 8 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆52Updated 2 years ago
- Repositorio de la optativa para la FCEIA☆15Updated 4 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆305Updated last year
- Proving leftpad correct two-dozen different ways☆688Updated 4 months ago
- A demo implementation of a simple dependently-typed language☆610Updated 9 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆629Updated 3 months ago
- ☆233Updated last year
- Advent of Code 2020 Haskell Solutions☆16Updated 4 years ago
- Algebraic graphs☆743Updated 3 weeks ago
- An introduction to programming language theory in Agda☆1,451Updated 3 weeks ago
- A little course to learn about some of the more obscure GHC extensions.☆656Updated last year
- Code challenges to solve with Haskell☆166Updated 4 months ago
- An introductory course to Homotopy Type Theory☆372Updated 5 years ago
- A gently curated list of companies using Haskell in industry☆976Updated 4 months ago
- A new Categories library for Agda☆385Updated this week
- higher-order, no-boilerplate monads☆1,058Updated 5 months ago
- A standard library for Haskell☆856Updated last year
- Proposed compiler and language changes for GHC and GHC/Haskell☆702Updated last week
- How I start Haskell.☆100Updated last month