recursion-ninja / CSCI-499-2021-Fall
CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course
☆28Updated 2 years ago
Related projects: ⓘ
- A formal logic framework that runs in the browser☆269Updated 2 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆100Updated 3 months ago
- A web site for converting haskell code into pointfree haskell code☆160Updated last year
- ☆219Updated last month
- Code challenges to solve with Haskell☆87Updated last year
- ☆24Updated 2 years ago
- Maintenance of the pointfree Hackage package.☆144Updated 4 months ago
- i like taking notes ( "´༥`" )☆8Updated last year
- ☆62Updated 2 years ago
- ☆158Updated 4 years ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆31Updated 3 years ago
- Categorical Logic Notes☆72Updated 2 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆278Updated 7 months ago
- A book about real world web development in beginner friendly Haskell☆78Updated 5 years ago
- Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird☆15Updated 11 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆146Updated 2 months ago
- HoTTEST Summer School materials☆283Updated 11 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆334Updated this week
- Checker for "morally correct" induction proofs about haskell programs☆8Updated 2 years ago
- formally verified category theory library☆254Updated 4 years ago
- How I start Haskell.☆99Updated 8 months ago
- agda-mode for neovim☆130Updated 4 months ago
- Functional teaching language for use in a discrete mathematics course☆160Updated last week
- NullPointerExceptions in Haskell☆58Updated 7 years ago
- Elsa is a lambda calculus evaluator☆181Updated 3 months ago
- Beating unix `wc` in Haskell☆136Updated 3 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆226Updated this week
- 😎TT☆217Updated 11 months ago
- ☆89Updated 2 years ago
- Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.☆188Updated 5 years ago