Alternatives and similar repositories for KappaTools

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

• koksal / tps
  Temporal Pathway Synthesizer
  ☆17Updated 10 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• choener / ADPfusion
  Efficient, high-level dynamic programming
  ☆27Updated last year
• PapenfussLab / bioshake
  Bioinformatics pipelines with Haskell and Shake
  ☆56Updated 5 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
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆64Updated this week
• davidar / stochaskell
  ☆13Updated 2 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 3 years ago
• pveber / bistro
  A library to build and execute typed scientific workflows
  ☆47Updated 4 months ago
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• hklarner / pyboolnet
  PyBoolNet is a Python package for the generation, modification and analysis of Boolean networks.
  ☆46Updated 6 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆54Updated 10 years ago
• hammerlab / ketrew
  Keep Track of Experimental Workflows
  ☆76Updated 7 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆93Updated 8 months ago
• hammerlab / biokepi
  Bioinformatics Ketrew Pipelines
  ☆27Updated 3 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆73Updated 9 months ago
• RuleWorld / bionetgen
  Rule-based modeling framework
  ☆63Updated 3 weeks ago
• nfzhou / lp-contest
  ☆10Updated 7 months ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 9 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆30Updated this week
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• bioasp / caspo
  Reasoning on the response of logical signaling networks with Answer Set Programming
  ☆13Updated 2 years ago
• biocaml / phylogenetics
  Algorithms and datastructures for phylogenetics
  ☆14Updated last month
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago