joshniemela / KU-coursesLinks
A better version of KU's course catalogue
☆19Updated 2 weeks ago
Alternatives and similar repositories for KU-courses
Users that are interested in KU-courses are comparing it to the libraries listed below
Sorting:
- A Language with Dependent Data and Codata Types☆106Updated this week
- How do I DIKU? How indeed.☆26Updated last month
- Accelerated machine learning with dependent types☆97Updated this week
- ☆51Updated 6 months ago
- 🌐 | HTTP primitives for Lean 4☆43Updated 8 months ago
- A systems theorem prover☆11Updated last year
- The Next Generation of Compositional Programming☆52Updated 3 weeks ago
- Haskell bindings for MLIR☆109Updated 4 months ago
- ☆19Updated 6 months ago
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- ☆119Updated last year
- Reference counting with linear types☆31Updated last year
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆36Updated 10 months ago
- Fir programming language☆63Updated this week
- A purely functional programming language with first class types☆60Updated 4 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆56Updated 2 years ago
- Haskell library for parsing and evaluating typst☆61Updated last month
- generate art from a hash☆24Updated 2 weeks ago
- Interaction net resources☆18Updated this week
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- Formalization of Homotopy Type Theory for use in my Youtube videos☆15Updated last year
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated this week
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆143Updated 3 weeks ago
- Staged compilation with dependent types☆177Updated 2 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆34Updated 6 months ago
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- Turn opam-based OCaml projects into Nix derivations☆133Updated last week
- A toolkit for enforcing logical specifications on neural networks☆101Updated this week
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆102Updated last week
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago