Alternatives and similar repositories for hpps-e2024-pub:

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

• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆15Updated 6 months ago
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆24Updated 4 months ago
• gradbench / gradbench
  Benchmarks for differentiable programming across languages and domains.
  ☆13Updated this week
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• diku-dk / linalg
  Linear algebra package for Futhark
  ☆17Updated 2 months ago
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆23Updated last year
• zshipko / futhark-bindgen
  A Futhark binding generator for Rust and OCaml
  ☆29Updated last year
• DavidJaz / DynamicalSystemsBook
  ☆46Updated 10 months ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated 2 weeks ago
• bollu / lean-to
  Jupyter notebook for the Lean4 programming language
  ☆24Updated 2 years ago
• nqpz / futracer
  Race through breathtaking 3-D graphics with Futhark!
  ☆14Updated 3 years ago
• diku-dk / pfp-e2019-pub
  Public repository for the 2019 Parallel Functional Programming course at DIKU
  ☆14Updated 5 years ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 6 months ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆92Updated this week
• diku-dk / pmph-e2024-pub
  ☆18Updated 2 months ago
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated 3 weeks ago
• kfl / ebpf-tools
  Experiments with eBPF bytecode
  ☆12Updated last year
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆35Updated this week
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆61Updated 5 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆100Updated 5 months ago
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆45Updated last week
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆64Updated 2 years ago
• kovach / etch
  ☆17Updated 9 months ago
• probsys / AutoGP.jl
  Automated Bayesian model discovery for time series data
  ☆71Updated 3 weeks ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago