Alternatives and similar repositories for KappaTools

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

• PapenfussLab / bioshake
  Bioinformatics pipelines with Haskell and Shake
  ☆56Updated 5 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• choener / ADPfusion
  Efficient, high-level dynamic programming
  ☆27Updated last year
• biocaml / biocaml
  OCaml Bioinformatics Library
  ☆123Updated 2 years ago
• pveber / bistro
  A library to build and execute typed scientific workflows
  ☆47Updated 5 months ago
• hammerlab / biokepi
  Bioinformatics Ketrew Pipelines
  ☆28Updated 3 years ago
• hammerlab / ketrew
  Keep Track of Experimental Workflows
  ☆76Updated 7 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆74Updated 10 months ago
• davidar / stochaskell
  ☆13Updated 2 years ago
• mmottl / gpr
  Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
  ☆47Updated 4 months ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• koksal / tps
  Temporal Pathway Synthesizer
  ☆17Updated 11 months ago
• 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
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆55Updated 10 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 3 years ago
• biocaml / phylogenetics
  Algorithms and datastructures for phylogenetics
  ☆14Updated last week
• apatil / aplomb
  Data visualization and plotting for OCaml
  ☆19Updated 7 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• StagedHPC / shonan-challenge
  ☆31Updated 11 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• arlencox / mlbdd
  A not-quite-so-simple Binary Decision Diagrams implementation for OCaml
  ☆37Updated 3 years ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 10 years ago
• igarnier / prbnmcn-dagger
  A library for probabilistic programming
  ☆16Updated 4 months ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆38Updated 6 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year