Alternatives and similar repositories for hpps-e2022-pub

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

• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• diku-dk / ap-e2025-pub
  Public repository for Advanced Programming
  ☆60Updated 2 months ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆28Updated 3 weeks ago
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆59Updated 11 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated last week
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• diku-dk / hpps-e2020-pub
  ☆11Updated 4 years ago
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆17Updated last year
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 4 months ago
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆170Updated 3 weeks ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆110Updated 10 years ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆13Updated last year
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 3 years ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 3 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆149Updated 2 weeks ago
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆70Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆61Updated this week
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆14Updated last year
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆23Updated last year
• nikolaushuber / ocaml_inets
  An Encoding of Interaction Nets in OCaml
  ☆10Updated last year
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆227Updated 4 months ago
• vqns / polymlb
  ML Basis for Poly/ML
  ☆12Updated 2 months ago
• conal / Collaboration
  Play/learn/work with me
  ☆113Updated last month
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆398Updated last year
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated last year
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆415Updated last week
• jespercockx / scope
  An agda2hs-compatible library for well-scoped syntax
  ☆11Updated 2 months ago
• marcinjangrzybowski / cubeViz2
  ☆27Updated 2 years ago