Alternatives and similar repositories for pmph-e2020-pub:

Users that are interested in pmph-e2020-pub are comparing it to the libraries listed below

• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆62Updated 3 years ago
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆70Updated 4 months ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆48Updated 2 weeks ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago
• msp-strath / TypOS
  being an operating system for typechecking processes
  ☆125Updated last year
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated last month
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• favonia / hdtt2020-notes
  ☆36Updated 3 years ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆24Updated 2 months ago
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆52Updated 2 years ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆47Updated 3 weeks ago
• agda / agda-language-server
  Language Server for Agda
  ☆107Updated 3 months ago
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆73Updated last month
• DimaSamoz / agda-soas
  Agda formalisation of second-order abstract syntax
  ☆55Updated 2 years ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆10Updated 3 months ago
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆27Updated 5 months ago
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆97Updated last month
• HuStmpHrrr / mech-type-theories
  Mechanizations of Type Theories
  ☆28Updated last month
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆53Updated last year
• frex-project / idris-frex
  ☆47Updated 4 months ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 3 months ago
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆21Updated 2 years ago
• UlfNorell / insane
  Toy typechecker for Insanely Dependent Types
  ☆79Updated 11 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 5 months ago
• ericfinster / catt.io
  Revised Omega-categorical Typechecker
  ☆26Updated 4 months ago
• jonsterling / latex-dieudonne
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19Updated 3 years ago
• felixwellen / synthetic-geometry
  Synthetic geometry. Probably mostly algebraic geometry.
  ☆23Updated last year
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆90Updated last month