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:
- Code challenges to solve with Haskell☆155Updated last month
- 🕵️ Haskell STatic ANalyser☆584Updated 2 weeks ago
- HoTTEST Summer School materials☆297Updated this week
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- Optics as an abstract interface☆384Updated last month
- ☆64Updated 2 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆300Updated last year
- Standard library for linear types in Haskell.☆343Updated last week
- A community-driven collection of documentation for Haskell error messages and warnings☆105Updated 2 months ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆34Updated 3 years ago
- Maintenance of the pointfree Hackage package.☆146Updated 7 months ago
- Course materials for Chalmers TPIL25 class☆13Updated 3 months ago
- agda-mode for neovim☆158Updated last month
- Literate Haskell support for Markdown☆140Updated 2 months ago
- A re-implementation of weeder using HIE files☆176Updated 3 months ago
- An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.☆298Updated 3 months ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆101Updated 3 years ago
- Compiling Agda code to readable Haskell☆189Updated this week
- The agda-unimath library☆255Updated this week
- Fast parsing from bytestrings☆161Updated last month
- 15-819 (Homotopy Type Theory) Lecture Notes☆56Updated 4 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆256Updated this week
- Lecture notes on univalent foundations of mathematics with Agda☆227Updated last year
- Fake dependent types in Haskell using singletons☆290Updated last month
- A Lean file formatter☆67Updated 2 years ago
- A Haskell project template for Advent of Code solutions.☆32Updated last year
- Number theory: primes, arithmetic functions, modular computations, special sequences☆154Updated last month
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆372Updated this week
- 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines☆189Updated last year
- Equational laws for free☆255Updated 3 weeks ago