Alternatives and similar repositories for dpp-e2022-pub

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

• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆280Updated last year
• Luthey-Schulten-Lab / Lattice_Microbes
  ☆34Updated 7 months ago
• KaroliShp / CatGNN
  Prototype for a Category Theory-based GNN Library
  ☆15Updated 3 years ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated 2 years ago
• EelcoHoogendoorn / numga
  Geometric algebra in JAX and numpy
  ☆86Updated last month
• zhangir-azerbayev / lean-chat
  ☆51Updated 3 years ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆21Updated 7 months ago
• Jademaster / PathComposer
  Implements a compositional algorithm for computing shortest paths on weighted graphs
  ☆12Updated 2 years ago
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 3 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆207Updated 4 months ago
• dellacortelab / prospr
  ProSPr: Protein Structure Prediction
  ☆419Updated 3 years ago
• regina-normal / regina
  The main source code for Regina
  ☆39Updated this week
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆70Updated 2 years ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆13Updated 2 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆220Updated 2 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆78Updated 3 months ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆460Updated 8 months ago
• google-deepmind / mathematics_conjectures
  ☆381Updated 4 years ago
• kdd-ubc / MorphOT
  Transport-based interpolation of cryo-EM density maps for ChimeraX
  ☆12Updated 4 years ago
• Luthey-Schulten-Lab / Minimal_Cell
  ☆102Updated 3 years ago
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆132Updated 3 years ago
• Algebra8 / Knots
  Python Braid Generator Package
  ☆10Updated 4 years ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated 2 years ago
• janestreet / torch
  ☆148Updated 3 weeks ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆76Updated 2 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• czimaginginstitute / 2024_czii_mlchallenge_notebooks
  The repository hosting example notebooks for 2024 CZII cryoET machine learning challenge
  ☆38Updated last year
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆55Updated 2 years ago
• Pseudomanifold / Aleph
  A library for exploring persistent homology
  ☆104Updated 6 months ago
• dugu9sword / torch_random_fields
  A highly optimized library for building markov random fields with pytorch.
  ☆18Updated 2 years ago