Alternatives and similar repositories for KappaTools:

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

• davidar / stochaskell
  ☆13Updated 2 years ago
• choener / ADPfusion
  Efficient, high-level dynamic programming
  ☆27Updated last year
• UniFormal / MMT
  The MMT Language and System
  ☆72Updated 9 months ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 9 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆54Updated 10 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 7 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• PapenfussLab / bioshake
  Bioinformatics pipelines with Haskell and Shake
  ☆56Updated 5 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆79Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• gilith / opentheory
  The opentheory tool processes higher order logic theory packages
  ☆16Updated 2 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• BackofenLab / GGL
  Graph Grammar Library
  ☆24Updated 7 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• pveber / bistro
  A library to build and execute typed scientific workflows
  ☆47Updated 4 months ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 3 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 2 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 2 months ago
• BioHaskell / hPDB
  PDB parser in Haskell
  ☆21Updated 2 years ago
• biocaml / biocaml
  OCaml Bioinformatics Library
  ☆123Updated 2 years ago