Kappa-Dev / KappaTools

Related projects ⓘ

Alternatives and complementary repositories for KappaTools

• hklarner / pyboolnet
  PyBoolNet is a Python package for the generation, modification and analysis of Boolean networks.
  ☆42Updated last week
• PapenfussLab / bioshake
  Bioinformatics pipelines with Haskell and Shake
  ☆55Updated 5 years ago
• choener / ADPfusion
  Efficient, high-level dynamic programming
  ☆26Updated last year
• hammerlab / biokepi
  Bioinformatics Ketrew Pipelines
  ☆27Updated 3 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆68Updated 3 months ago
• pveber / bistro
  A library to build and execute typed scientific workflows
  ☆47Updated 6 months ago
• hammerlab / ketrew
  Keep Track of Experimental Workflows
  ☆77Updated 6 years ago
• biocaml / biocaml
  OCaml Bioinformatics Library
  ☆123Updated last year
• kappamodeler / kappa
  A domain-specific language that allows the expression or protein interactions that can be used to build executable models.
  ☆23Updated last year
• biocaml / phylogenetics
  Algorithms and datastructures for phylogenetics
  ☆14Updated 4 months ago
• koksal / tps
  Temporal Pathway Synthesizer
  ☆16Updated 4 months ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 9 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 5 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 6 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 2 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆42Updated 11 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆77Updated last month
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆12Updated last month
• OUPL / MLCert
  Certified Machine Learning
  ☆40Updated 3 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆53Updated 10 years ago
• andrejbauer / marshall
  Real number computation software
  ☆121Updated 2 years ago
• statusfailed / numeric-optics-python
  ☆23Updated 2 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆33Updated 7 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆74Updated this week
• agentultra / lean-for-hackers
  ☆19Updated last year
• coq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆47Updated last month
• coq-community / coqffi
  Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
  ☆34Updated last year
• sys-bio / antimony
  ☆16Updated this week