Alternatives and similar repositories for KappaTools

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

• pveber / bistro
  A library to build and execute typed scientific workflows
  ☆48Updated last month
• UniFormal / MMT
  The MMT Language and System
  ☆77Updated 3 months ago
• PapenfussLab / bioshake
  Bioinformatics pipelines with Haskell and Shake
  ☆56Updated 6 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago
• biocaml / biocaml
  OCaml Bioinformatics Library
  ☆124Updated 2 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
• mmottl / gpr
  Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
  ☆47Updated last week
• hammerlab / ketrew
  Keep Track of Experimental Workflows
  ☆76Updated 7 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆31Updated 7 years ago
• hammerlab / biokepi
  Bioinformatics Ketrew Pipelines
  ☆28Updated 4 years ago
• BioHaskell / hPDB
  PDB parser in Haskell
  ☆21Updated 2 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• davidar / stochaskell
  ☆14Updated 2 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• RuleWorld / bionetgen
  Rule-based modeling framework
  ☆65Updated 6 months ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆53Updated 3 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆54Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• Gbury / archsat
  A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…
  ☆27Updated 2 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 14 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆22Updated 3 years ago
• choener / ADPfusion
  Efficient, high-level dynamic programming
  ☆28Updated 2 years ago
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆39Updated 6 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆89Updated 14 years ago