Alternatives and similar repositories for swift:

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

• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆77Updated 7 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 7 months ago
• dmurfet / 2simplicialtransformer
  Code for the 2-simplicial Transformer paper
  ☆18Updated 5 years ago
• dbtsai / libDAI
  A free and open source C++ library for Discrete Approximate Inference in graphical models
  ☆53Updated 12 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆46Updated last year
• 51alg / TerpreT
  ☆42Updated 7 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• IntelLabs / Latte.jl
  A high-performance DSL for deep neural networks in Julia
  ☆53Updated 2 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• surban / TensorAlgDiff
  Automatic Differentiation for Tensor Algebras
  ☆29Updated 6 years ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 6 years ago
• diprism / fggs
  Factor Graph Grammars in Python
  ☆13Updated 2 months ago
• edin-dal / structtensor
  ☆20Updated 3 months ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 5 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• dnbaker / frp
  FRP: Fast Random Projections
  ☆43Updated 4 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆73Updated 2 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆11Updated 3 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 2 years ago
• davidar / stochaskell
  ☆13Updated 2 years ago
• probsys / optimal-approximate-sampling
  Optimal approximate sampling from discrete probability distributions
  ☆17Updated 3 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• arvoelke / delay2017
  Improving spiking dynamical networks: Accurate delays, higher-order synapses, and time cells
  ☆7Updated 7 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• dritchie / quicksand
  A low-level probabilistic programming framework embedded in Terra.
  ☆29Updated 8 years ago