Alternatives and similar repositories for hpps-e2023-pub

Users that are interested in hpps-e2023-pub are comparing it to the libraries listed below

• diku-dk / pmph-e2024-pub
  ☆19Updated 4 months ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆19Updated 2 weeks 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
• diku-dk / hpps-e2024-pub
  Public repository for HPPS
  ☆12Updated 4 months ago
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 3 months ago
• david-christiansen / bob24
  ☆16Updated last year
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• diku-dk / futhark-website
  Git repository containing the Futhark website.
  ☆10Updated last week
• benediktahrens / CT4P
  ☆34Updated 7 months ago
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆49Updated 8 months ago
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 3 months ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆34Updated 8 months ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆26Updated last month
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆72Updated 8 years ago
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆57Updated 4 months ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆59Updated this week
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆34Updated this week
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆35Updated 5 years ago
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆13Updated last month
• felixwellen / synthetic-geometry
  Synthetic geometry. Probably mostly algebraic geometry.
  ☆24Updated last year
• shmulvad / AD-notes
  A repo containing my outlines/exam notes for the course Algorithms and Datastructures (AD) at DIKU
  ☆14Updated 6 years ago
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆16Updated 8 months ago
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆27Updated 3 weeks ago