Alternatives and similar repositories for dpp-e2023-pub:

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

• diku-dk / howto
  How do I DIKU? How indeed.
  ☆24Updated last month
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆10Updated 2 months ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆50Updated this week
• 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 months ago
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆19Updated last month
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆75Updated last year
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 2 years ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 5 months ago
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated 2 weeks ago
• diku-dk / pmph-e2024-pub
  ☆18Updated last month
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated last year
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆15Updated 5 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆80Updated this week
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆87Updated last week
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆52Updated last week
• kfl / ebpf-tools
  Experiments with eBPF bytecode
  ☆12Updated 11 months ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆53Updated 2 weeks ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆33Updated 4 months ago
• smlhelp / book
  deployment for smlhelp page
  ☆38Updated last year
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆37Updated 2 weeks ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆17Updated last month
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆168Updated this week
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆63Updated last year
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆66Updated this week