joshniemela / KU-coursesLinks
A better version of KU's course catalogue
☆21Updated 3 months ago
Alternatives and similar repositories for KU-courses
Users that are interested in KU-courses are comparing it to the libraries listed below
Sorting:
- ☆19Updated 11 months ago
- Course website for Data Parallel Programming at DIKU☆14Updated last year
- Public repository for Advanced Programming☆59Updated 10 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆193Updated 2 weeks ago
- Temporary repository for Kind2's refactor based on HVM2☆281Updated last year
- A language with dependent data and codata types☆125Updated this week
- A proof assistant for higher-dimensional type theory☆225Updated 3 months ago
- ☆119Updated last year
- A garden of small programming language implementations 🪴☆299Updated this week
- HoTTEST Summer School materials☆318Updated 6 months ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆346Updated this week
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆70Updated last year
- agda-mode for neovim☆171Updated last month
- Interactive Coq Proofs in Vim☆310Updated 2 weeks ago
- a proof-of-concept programming language based on call-by-push-value☆61Updated this week
- fairly limited x86 to x86' translator☆19Updated 3 years ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆411Updated this week
- OCaml - Oxidized!☆587Updated this week
- A simple library for reporting compiler/interpreter errors☆268Updated last year
- Code challenges to solve with Haskell☆180Updated 2 months ago
- Natural language tactics to teach mathematics using Lean 4☆107Updated 3 weeks ago
- Visual Studio Code extension for Coq☆424Updated last week
- Accelerated machine learning with dependent types☆101Updated 4 months ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆116Updated 6 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆65Updated 2 years ago
- ☆234Updated last year
- Generic package manager for Standard ML libraries and programs☆168Updated 3 weeks ago
- Haskell bindings for MLIR☆117Updated last week
- How do I DIKU? How indeed.☆28Updated last week
- The Lean Computer Science Library (CSLib)☆199Updated this week