Alternatives and similar repositories for KU-courses

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

• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• diku-dk / pmph-e2024-pub
  ☆19Updated 4 months ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆26Updated last month
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆165Updated 4 months ago
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆57Updated 4 months ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆12Updated 5 months ago
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• diku-dk / dpp-e2023-pub
  Repository for the DPP'23 course
  ☆11Updated last year
• diku-compSys / compSys-e2021-pub
  Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph
  ☆21Updated 3 years ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 4 years ago
• agda / cornelis
  agda-mode for neovim
  ☆158Updated last month
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆105Updated this week
• digama0 / lean4lean
  Lean 4 kernel / 'external checker' written in Lean 4
  ☆102Updated this week
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆77Updated 3 weeks ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 2 weeks ago
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆78Updated 3 weeks ago
• madvorak / lean4-tactics
  Overview of tactics in Lean 4 for beginners — longer version
  ☆81Updated 8 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 3 months ago
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆39Updated 7 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆95Updated last week
• 34j / best-of-lean4
  A list of awesome lean4 projects. Feel free to add your project.
  ☆85Updated last week
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆64Updated this week
• nomeata / loogle
  Mathlib search tool
  ☆88Updated 3 weeks ago
• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated this week
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆34Updated 5 months ago
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆72Updated 3 months ago
• google / mlir-hs
  Haskell bindings for MLIR
  ☆107Updated 3 months ago
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆224Updated 2 months ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated last week