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
  ☆75Updated 11 months 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
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• PapenfussLab / bioshake
  Bioinformatics pipelines with Haskell and Shake
  ☆56Updated 5 years ago
• pveber / bistro
  A library to build and execute typed scientific workflows
  ☆48Updated 6 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• choener / ADPfusion
  Efficient, high-level dynamic programming
  ☆27Updated 2 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 9 years ago
• hammerlab / ketrew
  Keep Track of Experimental Workflows
  ☆76Updated 7 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆15Updated 10 years ago
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆20Updated 2 years ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 10 years ago
• mmottl / gpr
  Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
  ☆47Updated 6 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆56Updated 10 years ago
• biocaml / biocaml
  OCaml Bioinformatics Library
  ☆124Updated 2 weeks ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆82Updated 2 weeks ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 3 years ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 8 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 4 months ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆55Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 11 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 10 months ago