Alternatives and similar repositories for KU-courses

Users that are interested in KU-courses are comparing it to the libraries listed below

• diku-dk / pmph-e2024-pub
  ☆19Updated 3 months ago
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆57Updated 3 months ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆10Updated 5 months ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• nomeata / loogle
  Mathlib search tool
  ☆86Updated last week
• axiomed / http
  🌐 | HTTP primitives for Lean 4
  ☆38Updated 6 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆104Updated this week
• agda / cornelis
  agda-mode for neovim
  ☆155Updated last week
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆49Updated this week
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆99Updated this week
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆165Updated 3 months ago
• charlielidbury / ochre
  A systems theorem prover
  ☆10Updated 10 months ago
• madvorak / lean4-tactics
  Overview of tactics in Lean 4 for beginners — longer version
  ☆81Updated 7 months ago
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆62Updated last week
• digama0 / lean4lean
  Lean 4 kernel / 'external checker' written in Lean 4
  ☆102Updated 3 months ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆190Updated this week
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆97Updated this week
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆75Updated this week
• leanprover-community / lean-auto
  Experiments in automation for Lean
  ☆106Updated this week
• KislyjKisel / Raylib.lean
  Raylib bindings for Lean4
  ☆25Updated 2 weeks ago
• LPCIC / coq-elpi
  Coq plugin embedding elpi
  ☆166Updated last week
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆63Updated last year
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆25Updated 2 weeks ago
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆66Updated 2 weeks ago
• zydeco-lang / zydeco
  a proof-of-concept programming language based on call-by-push-value
  ☆53Updated this week
• leanprover / lean4-cli
  A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  ☆75Updated 2 weeks ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆78Updated last week
• andrejbauer / formalized-mathematics-in-lean
  A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
  ☆26Updated 4 months ago
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆72Updated 2 weeks ago