Alternatives and similar repositories for KappaTools

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

• UniFormal / MMT
  The MMT Language and System
  ☆76Updated last week
• pveber / bistro
  A library to build and execute typed scientific workflows
  ☆48Updated 8 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 7 years ago
• biocaml / biocaml
  OCaml Bioinformatics Library
  ☆124Updated this week
• hammerlab / ketrew
  Keep Track of Experimental Workflows
  ☆76Updated 7 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• IBM / datascienceontology
  Data Science Ontology
  ☆38Updated 4 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• hammerlab / biokepi
  Bioinformatics Ketrew Pipelines
  ☆28Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 months ago
• PapenfussLab / bioshake
  Bioinformatics pipelines with Haskell and Shake
  ☆55Updated 6 years ago
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆21Updated 3 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆44Updated 12 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• mmottl / gpr
  Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
  ☆47Updated 3 weeks ago
• kappamodeler / kappa
  A domain-specific language that allows the expression or protein interactions that can be used to build executable models.
  ☆23Updated 2 years ago
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10Updated 3 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆39Updated 9 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 3 years ago
• homotopy-io / homotopy-webclient
  ☆27Updated last year
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆56Updated 11 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆83Updated 2 months ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• rocq-community / apery
  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
  ☆25Updated this week
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 2 months ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago