Alternatives and similar repositories for dpp-e2023-pub

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

• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆419Updated 2 weeks ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆15Updated last year
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆21Updated 4 months ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆71Updated last week
• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆214Updated last year
• smlhelp / book
  deployment for smlhelp page
  ☆43Updated 7 months ago
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆85Updated this week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆311Updated last week
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated last month
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆78Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆41Updated 2 weeks ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆36Updated last year
• codereport / hoogle-translate
  ☆127Updated last week
• diku-dk / pmph-e2024-pub
  ☆19Updated last year
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆87Updated last month
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆125Updated this week
• dzaima / CBQN
  a BQN implementation in C
  ☆387Updated this week
• codereport / bqn-code
  A compilation of BQN solutions to various coding challenges.
  ☆12Updated last week
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆318Updated last month
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆149Updated 2 years ago
• bradrn / brassica
  A featureful sound change applier for language construction
  ☆42Updated 3 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 2 months ago
• soupi / rfc
  My slides and compilation of resources.
  ☆159Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆140Updated 2 months ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆234Updated last week
• Dyalog / ride
  Cross-platform IDE for Dyalog APL
  ☆227Updated 2 weeks ago
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆23Updated last year
• tsoding / HyperNerd
  Total Surveillance Automatic Ban Machine for Twitch and Discord
  ☆146Updated 5 years ago
• simon-frankau / mock-a-mockingbird
  My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell
  ☆38Updated 7 years ago