diku-dk / hpps-e2023-pub

Related projects ⓘ

Alternatives and complementary repositories for hpps-e2023-pub

• diku-dk / pmph-e2024-pub
  ☆18Updated 3 weeks ago
• rdentato / gerku
  An interpreter for concatenative combinators (i.e. Combinators as a functional language)
  ☆11Updated 2 years ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated 10 months ago
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 2 years ago
• diku-dk / linalg
  Linear algebra package for Futhark
  ☆17Updated 10 months ago
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆19Updated last month
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 2 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 4 years ago
• diku-dk / lys
  Library for writing interactive and visual Futhark programs
  ☆22Updated 5 months ago
• MPLLang / mpllib
  Official library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆16Updated 10 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆65Updated 2 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆52Updated this week
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆41Updated last year
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆15Updated 10 months ago
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated last year
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆38Updated 2 weeks ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆45Updated 3 years ago
• edemko / nanopass
  Haskell port of the Nanopass Compiler Framework
  ☆10Updated 10 months ago
• arcfide / ALE
  arcfide's line editor
  ☆26Updated last year
• kindelia-archive / LambdaVM
  A next-gen, massively parallel, beta-optimal functional runtime.
  ☆10Updated 2 years ago
• zshipko / futhark-bindgen
  A Futhark binding generator for Rust and OCaml
  ☆28Updated 9 months ago
• shmulvad / AD-notes
  A repo containing my outlines/exam notes for the course Algorithms and Datastructures (AD) at DIKU
  ☆14Updated 5 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆32Updated 11 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆58Updated this week
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆14Updated 4 years ago
• Jackojc / klaxon
  Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).
  ☆20Updated 2 years ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated last year
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆33Updated last month
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆45Updated last month