Alternatives and similar repositories for ea.prover:

Users that are interested in ea.prover are comparing it to the libraries listed below

• msaroufim / C-compiler-optimizations
  Description of commonly done compiler optimizations in C
  ☆44Updated 2 years ago
• ihaque / xorshift
  Vectorized xorshift and xoroshiro uniform/binomial RNGs
  ☆9Updated 8 years ago
• j-baker / l1c
  l1c is a simple formally verified compiler for a while language
  ☆55Updated 4 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• IntelLabs / Latte.jl
  A high-performance DSL for deep neural networks in Julia
  ☆53Updated 2 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• jaberg / pyautodiff
  Automatic differentiation for NumPy
  ☆42Updated 11 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 3 months ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 6 months ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆73Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆37Updated 10 months ago
• cwshu / NCTU_OS_2015_HW3
  Homework 3 for Introduction to Operating Systems, Fall 2015
  ☆7Updated 9 years ago
• CindyLinz / BYOHC-Workshop
  BYOHC workshop 活動記錄
  ☆29Updated 8 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 3 months ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆184Updated 2 weeks ago
• PermutaTriangle / comb_spec_searcher
  a Python library for combinatorial exploration
  ☆12Updated last month
• coquelicot / PyDSL
  A runtime DSL parser generator for python.
  ☆18Updated 8 years ago
• blexim / synth
  Program synthesis
  ☆12Updated 8 years ago
• sympy / sympy-paper
  Repo for the paper "SymPy: symbolic computing in python"
  ☆47Updated 4 years ago
• arthuraa / cufp-2015-tutorial
  An introductory tutorial for the Coq proof assistant.
  ☆10Updated 6 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• verivital / hyst
  HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
  ☆15Updated 4 years ago