Alternatives and similar repositories for swift

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

• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• dnbaker / frp
  FRP: Fast Random Projections
  ☆43Updated 5 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated last year
• probsys / optimal-approximate-sampling
  Optimal approximate sampling from discrete probability distributions
  ☆17Updated 4 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• surban / TensorAlgDiff
  Automatic Differentiation for Tensor Algebras
  ☆28Updated 7 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆72Updated 7 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆80Updated last year
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆31Updated 9 years ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆56Updated last week
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 8 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 11 months ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆133Updated 4 months ago
• dritchie / quicksand
  A low-level probabilistic programming framework embedded in Terra.
  ☆29Updated 8 years ago
• IntelLabs / Latte.jl
  A high-performance DSL for deep neural networks in Julia
  ☆53Updated 2 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• appliedtopology / ctl
  A fast generic C++ library for applied and computational topology
  ☆60Updated 9 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆291Updated 7 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• ChezJrk / verified-scheduling
  ☆40Updated last year
• difflog-project / datalog-bench
  Benchmark Suite for Interpretable Rule Learning
  ☆12Updated 4 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year