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
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• surban / TensorAlgDiff
  Automatic Differentiation for Tensor Algebras
  ☆28Updated 7 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆74Updated 7 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆55Updated 5 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• dnbaker / frp
  FRP: Fast Random Projections
  ☆43Updated 5 years ago
• probsys / optimal-approximate-sampling
  Optimal approximate sampling from discrete probability distributions
  ☆18Updated 4 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 9 months ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆49Updated 2 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆76Updated 3 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• petablox / difflog
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Updated 6 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• daajoe / GPUSAT
  ☆11Updated 4 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• dbtsai / libDAI
  A free and open source C++ library for Discrete Approximate Inference in graphical models
  ☆57Updated 13 years ago
• ChezJrk / verified-scheduling
  ☆44Updated 2 months ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆18Updated last year
• ondrik / libvata
  VATA Tree Automata Library
  ☆34Updated last year
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆39Updated 2 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 7 years ago
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆292Updated 7 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆40Updated 6 years ago