Alternatives and similar repositories for dpp-e2023-pub

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

• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆76Updated last year
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆28Updated last month
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 4 years ago
• andrejbauer / faux-type-theory
  ☆46Updated 4 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆87Updated 3 weeks ago
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆21Updated 4 months ago
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆23Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 11 months ago
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆125Updated this week
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆36Updated last year
• githwxi / ATS-Xanadu
  Bootstrapping ATS3
  ☆242Updated this week
• bradrn / brassica
  A featureful sound change applier for language construction
  ☆42Updated 3 months ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆229Updated 5 months ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• smlhelp / book
  deployment for smlhelp page
  ☆43Updated 7 months ago
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆417Updated this week
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated last week
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆128Updated 6 months ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆11Updated last week
• mechanize-systems / bqnpad
  Online REPL for BQN
  ☆33Updated 2 years ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆187Updated 8 months ago
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆20Updated last year
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆21Updated 4 months ago
• google / mlir-hs
  Haskell bindings for MLIR
  ☆120Updated 3 weeks ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆232Updated last week
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆50Updated 3 weeks ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆14Updated last year
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆157Updated last week