Alternatives and similar repositories for knossos-ksc

Users that are interested in knossos-ksc are comparing it to the libraries listed below

• microsoft / ADBench
  Benchmarking various AD tools.
  ☆110Updated last year
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 4 years ago
• PhilipVinc / Jax.jl
  ☆28Updated 3 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• JuliaLabs / brutus
  ☆63Updated 10 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆86Updated 9 months ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆49Updated 7 months ago
• HarrisonGrodin / Rewrite.jl
  An efficient symbolic term rewriting engine
  ☆78Updated 4 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• Tractables / LogicCircuits.jl
  Logic Circuits from the Juice library
  ☆50Updated last year
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆72Updated 3 months ago
• Tractables / Juice.jl
  The Juice package for circuits in artificial intelligence, both logic and probabilistic
  ☆12Updated 3 years ago
• JuliaLLVM / MLIR.jl
  Julia library to manipulate MLIR dialects.
  ☆65Updated 10 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆76Updated 3 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• danieljtait / jax_xla_adventures
  Dive into Jax, Flax, XLA and C++
  ☆32Updated 5 years ago
• adamwespiser / variational-autoencoders
  Experiments with variational autoencoders in Julia
  ☆17Updated 6 years ago
• FluxML / XLA.jl
  "Maybe we have our own magic."
  ☆48Updated 5 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• jasonmorton / Typeclass.jl
  multiparameter typeclasses for Julia
  ☆24Updated 8 years ago
• kovach / etch
  ☆16Updated last year
• srush / learns-dex
  ☆33Updated 4 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆92Updated this week
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆42Updated this week
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆89Updated 3 months ago