Alternatives and similar repositories for hpps-e2021-pub

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

• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• diku-dk / hpps-e2020-pub
  ☆12Updated 4 years ago
• dikurevy / Public-Archive
  Public archive of material performed on stage through the life time of DIKUrevy
  ☆27Updated 6 months ago
• diku-dk / hpps-e2024-pub
  Public repository for HPPS
  ☆15Updated 8 months ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated last year
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆55Updated this week
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• AndrasKovacs / antifunext
  antifunext
  ☆34Updated last year
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 2 weeks ago
• msp-strath / cs410-advanced-functional-programming
  CS410 "Advanced Functional Programming"
  ☆27Updated 5 months ago
• guillaumebrunerie / initiality
  A formalized proof of a version of the initiality conjecture
  ☆43Updated 5 years ago
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆32Updated 2 months ago
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆28Updated last week
• b-mehta / topos
  Topos theory in lean
  ☆64Updated 4 years ago
• gallais / thesis
  Syntaxes with Binding, Their Programs, and Proofs
  ☆23Updated last year
• andrejbauer / faux-type-theory
  ☆41Updated last month
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated 4 months ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆13Updated 9 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆88Updated 3 months ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated 11 months ago
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆36Updated 5 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• wenkokke / AutoInAgda
  Proof automation – for Agda, in Agda.
  ☆44Updated 5 years ago
• ianmbloom / gudni
  Haskell-centric Fast Accurate Curve Rasterizer
  ☆24Updated 4 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆53Updated 2 months ago
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆74Updated 7 months ago
• ayberkt / formal-topology-in-UF
  Formal Topology in Univalent Foundations (WIP).
  ☆36Updated 3 years ago
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆27Updated this week
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆114Updated this week