Alternatives and similar repositories for swift

Users that are interested in swift are comparing it to the libraries listed below

• surban / TensorAlgDiff
  Automatic Differentiation for Tensor Algebras
  ☆28Updated 7 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆76Updated 3 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆72Updated 7 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• probsys / optimal-approximate-sampling
  Optimal approximate sampling from discrete probability distributions
  ☆18Updated 4 years ago
• dnbaker / frp
  FRP: Fast Random Projections
  ☆43Updated 5 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 2 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 6 months ago
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆292Updated 7 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆75Updated 3 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆33Updated last year
• nelsonth / btoblas
  Build-to-Order BLAS
  ☆12Updated 6 years ago
• jhueckelheim / PerforAD
  Automatic Differentiation for high-performance stencil loops
  ☆12Updated 4 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆85Updated 6 months ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 6 months ago
• 51alg / TerpreT
  ☆42Updated 8 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• google-research / structured-additive-IR
  ☆61Updated last week
• fabricerosay / AlphaGPU
  Alphazero on GPU thanks to CUDA.jl
  ☆32Updated 4 years ago
• dmurfet / 2simplicialtransformer
  Code for the 2-simplicial Transformer paper
  ☆21Updated 5 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆178Updated last year
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago