Alternatives and similar repositories for KappaTools

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

• UniFormal / MMT
  The MMT Language and System
  ☆79Updated 5 months ago
• pveber / bistro
  A library to build and execute typed scientific workflows
  ☆48Updated 3 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago
• choener / ADPfusion
  Efficient, high-level dynamic programming
  ☆28Updated 2 years ago
• biocaml / biocaml
  OCaml Bioinformatics Library
  ☆123Updated 2 months ago
• PapenfussLab / bioshake
  Bioinformatics pipelines with Haskell and Shake
  ☆58Updated 6 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 3 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆33Updated 11 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 4 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆56Updated 2 years ago
• kappamodeler / kappa
  A domain-specific language that allows the expression or protein interactions that can be used to build executable models.
  ☆23Updated 3 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆31Updated 7 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆16Updated 11 years ago
• hammerlab / biokepi
  Bioinformatics Ketrew Pipelines
  ☆28Updated 4 years ago
• davidar / stochaskell
  ☆14Updated 3 years ago
• mmottl / gpr
  Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
  ☆47Updated 2 months ago
• homotopy-io / homotopy-webclient
  ☆27Updated last year
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 6 months ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆89Updated 8 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 12 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• hammerlab / ketrew
  Keep Track of Experimental Workflows
  ☆76Updated 8 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year