Alternatives and similar repositories for KappaTools:

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

• hammerlab / biokepi
  Bioinformatics Ketrew Pipelines
  ☆27Updated 3 years ago
• PapenfussLab / bioshake
  Bioinformatics pipelines with Haskell and Shake
  ☆55Updated 5 years ago
• biocaml / biocaml
  OCaml Bioinformatics Library
  ☆123Updated 2 years ago
• pveber / bistro
  A library to build and execute typed scientific workflows
  ☆47Updated 3 months ago
• biocaml / biopam
  OPAM repository for bioinformatics tools.
  ☆9Updated 8 years 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
• hammerlab / ketrew
  Keep Track of Experimental Workflows
  ☆76Updated 7 years ago
• RuleWorld / bionetgen
  Rule-based modeling framework
  ☆61Updated last week
• koksal / tps
  Temporal Pathway Synthesizer
  ☆17Updated 8 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆54Updated 10 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆79Updated 3 weeks ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• SynBioDex / SBOL-specification
  The Synthetic Biology Open Language (SBOL)
  ☆18Updated last year
• raim / SBML_odeSolver
  a C library for symbolic and numerical analysis of a system of ordinary differential equations (ODEs) derived from a chemical reaction ne…
  ☆22Updated 7 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 2 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• coq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆47Updated 5 months ago
• choener / ADPfusion
  Efficient, high-level dynamic programming
  ☆27Updated last year
• biocaml / phylogenetics
  Algorithms and datastructures for phylogenetics
  ☆14Updated last month
• bioasp / caspo
  Reasoning on the response of logical signaling networks with Answer Set Programming
  ☆13Updated 2 years ago
• hammerlab / epidisco
  Personalized cancer epitope discovery and peptide vaccine prediction pipeline
  ☆30Updated 7 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆71Updated 7 months ago
• BackofenLab / GGL
  Graph Grammar Library
  ☆23Updated 7 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated 3 weeks ago
• hklarner / pyboolnet
  PyBoolNet is a Python package for the generation, modification and analysis of Boolean networks.
  ☆44Updated 4 months ago