Alternatives and similar repositories for formal-systems-in-biology

Users that are interested in formal-systems-in-biology are comparing it to the libraries listed below

• photonlines / Intuitive-Guide-to-Maxwells-Equations
  An intuitive and visual guide to understanding Maxwell's equations.
  ☆797Updated 5 years ago
• ContextLab / human-memory
  Course materials for Dartmouth course: Human Memory (PSYC 51.09)
  ☆264Updated 9 months ago
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆86Updated 8 years ago
• statebox / awesome-applied-ct
  ACT community resources
  ☆470Updated 6 years ago
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆168Updated 2 years ago
• raviksharma / bartosz-basics-of-haskell
  Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
  ☆485Updated 5 years ago
• prathyvsh / notation
  Repo to track the evolution of notation in arts and sciences
  ☆147Updated 3 years ago
• webyrd / mediKanren
  Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
  ☆337Updated 7 months ago
• bollu / mathemagic
  Toybox of explanations of mathematics. Initial focus on (discrete) differential geometry
  ☆280Updated 3 years ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆371Updated last year
• fogus / thunks
  posts and code related to personal studies
  ☆370Updated 2 weeks ago
• VegaDeftwing / opinionatedguide
  See OpGuidesHugoSRC repo to Contrubitue---A collection of educational un-textbooked, actually digestible pages on various topics. Links t…
  ☆114Updated 5 months ago
• cloudkj / layer
  Neural network inference the Unix way
  ☆565Updated 6 years ago
• artagnon / clayoven
  💎 beautiful website generator aimed at math-heavy sites
  ☆330Updated last month
• kach / tower-of-power
  What is hip? Tell me, tell me (if you think you know)
  ☆111Updated 7 years ago
• kai-qu / notation
  Collection of quotes on notation design & how it affects thought.
  ☆1,899Updated 5 years ago
• ericu / CellCulTuring
  Casual experiments with cellular automata
  ☆78Updated 6 years ago
• nqureshi / sars-cov-2
  Analysis of the SARS-CoV-2 genome
  ☆59Updated 5 years ago
• eeeeaaii / vodka
  Creative Coding Environment
  ☆126Updated 2 months ago
• inconvergent / weir
  (deprecated) A system for making generative systems
  ☆639Updated 4 years ago
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆63Updated 3 weeks ago
• deobald / vipassana-for-hackers
  A document version of my "Vipassana for Hackers" talk
  ☆596Updated last year
• stanford-cs248 / draw-svg
  Stanford CS248 Assignment 1: Implement a simple SVG renderer
  ☆24Updated 3 weeks ago
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated 2 months ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆310Updated 2 weeks ago
• jostmey / MaxSnippetModel
  Statistical classifier for immune repertoires
  ☆46Updated 3 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆211Updated this week
• ssloy / triador
  Ternary computer emulator
  ☆244Updated 3 years ago
• aumouvantsillage / TablaZinc
  Generate guitar tablatures using a constraint solver
  ☆141Updated 5 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 7 years ago