Alternatives and similar repositories for hpps-e2024-pub:

Users that are interested in hpps-e2024-pub are comparing it to the libraries listed below

• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• zshipko / futhark-bindgen
  A Futhark binding generator for Rust and OCaml
  ☆29Updated last year
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆15Updated last year
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆14Updated 5 months ago
• awf / Coconut
  Shaking expression trees until something tasty pops out
  ☆16Updated 6 years ago
• diku-dk / img-util-fs
  Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)
  ☆9Updated 2 years ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆22Updated 3 months ago
• diku-dk / linalg
  Linear algebra package for Futhark
  ☆17Updated last month
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆17Updated last month
• dignissimus / Untangle
  Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
  ☆24Updated 7 months ago
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆23Updated last year
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 5 months ago
• nqpz / futracer
  Race through breathtaking 3-D graphics with Futhark!
  ☆14Updated 3 years ago
• MPLLang / parallel-ml-bench
  Parallel ML benchmark suite
  ☆15Updated last month
• opencompl / egg-tactic-code
  ☆16Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated last week
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆52Updated 7 months ago
• DavidJaz / DynamicalSystemsBook
  ☆46Updated 9 months ago
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆19Updated last month
• ocramz / ad-delcont
  Reverse-mode automatic differentiation with delimited continuations
  ☆15Updated last year
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆24Updated last month
• mikeshulman / ohtt
  H.O.T.T. using rewriting in Agda
  ☆40Updated 2 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆19Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆87Updated last week
• kfl / ebpf-tools
  Experiments with eBPF bytecode
  ☆12Updated 11 months ago