joshniemela / KU-coursesLinks
A better version of KU's course catalogue
☆21Updated last month
Alternatives and similar repositories for KU-courses
Users that are interested in KU-courses are comparing it to the libraries listed below
Sorting:
- ☆19Updated 8 months ago
- Course website for Data Parallel Programming at DIKU☆13Updated 9 months ago
- Public repository for Advanced Programming☆59Updated 8 months ago
- A proof assistant for higher-dimensional type theory☆216Updated last month
- A Language with Dependent Data and Codata Types☆123Updated this week
- agda-mode for neovim☆167Updated 3 weeks ago
- 🌐 | HTTP primitives for Lean 4☆46Updated 11 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆188Updated this week
- Accelerated machine learning with dependent types☆100Updated 2 months ago
- Nix overlay for Lean 4, and lake2nix☆58Updated this week
- LaTeX code for a paper on lean's type theory☆147Updated 3 years ago
- Natural language tactics to teach mathematics using Lean 4☆92Updated last week
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆46Updated last week
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆148Updated this week
- Interaction net resources☆33Updated this week
- ☆119Updated last year
- A toolkit for enforcing logical specifications on neural networks☆114Updated this week
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆87Updated 2 weeks ago
- White-box automation for Lean 4☆303Updated this week
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆261Updated 2 weeks ago
- Haskell bindings for MLIR☆112Updated 7 months ago
- Learn Lean 4 with PLFA proofs.☆89Updated 6 months ago
- Coq plugin embedding elpi☆176Updated last week
- Lean documentation authoring tool☆224Updated this week
- a proof-of-concept programming language based on call-by-push-value☆55Updated last month
- Lean 4 kernel / 'external checker' written in Lean 4☆121Updated last week
- Pure functional programming with whole-program mutability inference☆77Updated 2 months ago
- A simple library for reporting compiler/interpreter errors☆267Updated last year
- A Testing Framework for Lean☆59Updated 3 weeks ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago