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.
  ☆26Updated last week
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆19Updated last month
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆78Updated last month
• smlhelp / book
  deployment for smlhelp page
  ☆40Updated 2 weeks ago
• diku-dk / pmph-e2024-pub
  ☆19Updated 5 months ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆12Updated 6 months ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆34Updated 9 months ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆62Updated 3 weeks ago
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆39Updated 3 months ago
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆57Updated last month
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 2 years ago
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆21Updated 5 months ago
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆165Updated 5 months ago
• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆184Updated 4 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆95Updated 3 weeks ago
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆16Updated 9 months ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆88Updated 2 months ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated last month
• diku-dk / futhark-website
  Git repository containing the Futhark website.
  ☆10Updated 2 weeks ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 4 months ago
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated last year
• alpha-convert / delta
  Implementation of the Delta Language
  ☆8Updated last year
• Brian-ED / rayed-bqn
  Raylib with a bit of bacon spice!
  ☆41Updated 3 weeks ago
• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated last week
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 4 years ago
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆36Updated 3 weeks ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 6 months ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year