Alternatives and similar repositories for cuda-the-spire

Users that are interested in cuda-the-spire are comparing it to the libraries listed below

• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆13Updated last year
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆206Updated 3 months ago
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆26Updated 5 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated 4 months ago
• teorth / expdb
  Exponent pair database
  ☆64Updated last week
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆125Updated 3 months ago
• iczelia / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆527Updated 4 months ago
• leanprover-community / lean4-mode
  Emacs major mode for Lean 4
  ☆113Updated 5 months ago
• TrippW / STS-Crawler
  A python reddit bot for /r/SlayTheSpire that automatically (soft) finds cards and relics mentioned in post titles and comments with descr…
  ☆19Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆351Updated 3 months ago
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆20Updated 3 years ago
• codereport / kjunior
  K Junior is an MIT licensed open source array language written by Arthur Whitney.
  ☆23Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• mechanize-systems / bqnpad
  Online REPL for BQN
  ☆33Updated 2 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• teorth / symmetric_project
  ☆93Updated 2 years ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆68Updated 2 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆113Updated 2 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated 2 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated this week
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆73Updated 4 months ago
• The-Clowder-Project / the-clowder-project
  This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general
  ☆38Updated 4 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆55Updated this week
• davidar / stochaskell
  ☆14Updated 2 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆215Updated last year
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆318Updated last week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆76Updated 6 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆114Updated last year