Alternatives and similar repositories for kappa

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

• Kappa-Dev / KappaTools
  Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
  ☆123Updated 2 weeks ago
• PapenfussLab / bioshake
  Bioinformatics pipelines with Haskell and Shake
  ☆56Updated 6 years ago
• pveber / bistro
  A library to build and execute typed scientific workflows
  ☆48Updated last month
• amnh / poy5
  Phylogenetic Application written in OCaml and C
  ☆19Updated 5 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 14 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• BioHaskell / hPDB
  PDB parser in Haskell
  ☆21Updated 2 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 11 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆15Updated 10 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆59Updated 11 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 6 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• tonyg / racket-monad
  Monads for Racket (!)
  ☆21Updated 10 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆42Updated 6 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 8 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆52Updated 11 months ago
• UniFormal / MMT
  The MMT Language and System
  ☆77Updated 3 months ago
• rewriting / tom
  ☆34Updated 5 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 3 years ago
• biocaml / biocaml
  OCaml Bioinformatics Library
  ☆124Updated 2 weeks ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• beastaugh / hatt
  Truth-table generator for classical propositional logic
  ☆26Updated 4 years ago
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 6 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• cjfields / bioperl6
  reimplementation of BioPerl classes in Raku (e.g. the language formerly known as Perl6)
  ☆48Updated 7 years ago
• choener / ADPfusion
  Efficient, high-level dynamic programming
  ☆28Updated 2 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• glutamate / probably-baysig
  Model of baysig language in Haskell (minus estimate)
  ☆15Updated 9 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago