diku-dk / dpp-e2023-pub

Related projects ⓘ

Alternatives and complementary repositories for dpp-e2023-pub

• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆19Updated last month
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆68Updated 11 months ago
• diku-dk / pmph-e2024-pub
  ☆18Updated 3 weeks ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆38Updated 2 weeks ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆22Updated this week
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 2 years ago
• smlhelp / book
  deployment for smlhelp page
  ☆36Updated last year
• mechanize-systems / bqnpad
  Online REPL for BQN
  ☆33Updated last year
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆36Updated last week
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated last year
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated last month
• x86y / beacon
  A native and a cross platform guide for BQN array programming language
  ☆57Updated 4 months ago
• codereport / Advent-of-Code-2022
  Solutions to Advent of Code 2022 in APL & BQN (and Python if I'm lazy)
  ☆14Updated 4 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆88Updated 2 weeks ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆15Updated 10 months ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 2 months ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated 10 months ago
• vmchale / apple
  Apple array system
  ☆54Updated this week
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated 10 months ago
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆14Updated 2 months ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆33Updated last month
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆50Updated last week
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆51Updated 2 weeks ago
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆15Updated 2 months ago
• smlnj / legacy
  This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
  ☆34Updated last week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆177Updated last week
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 3 years ago
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated last year
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆65Updated 9 months ago