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

• statebox / awesome-applied-ct
  ACT community resources
  ☆469Updated 5 years ago
• ContextLab / human-memory
  Course materials for Dartmouth course: Human Memory (PSYC 51.09)
  ☆259Updated last week
• photonlines / Intuitive-Guide-to-Maxwells-Equations
  An intuitive and visual guide to understanding Maxwell's equations.
  ☆792Updated 4 years ago
• prathyvsh / notation
  Repo to track the evolution of notation in arts and sciences
  ☆138Updated 2 years ago
• fogus / thunks
  posts and code related to personal studies
  ☆372Updated 6 months ago
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆83Updated 8 years ago
• artagnon / clayoven
  💎 beautiful website generator aimed at math-heavy sites
  ☆331Updated 8 months ago
• raviksharma / bartosz-basics-of-haskell
  Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
  ☆487Updated 4 years ago
• pallada-92 / dna-3d-engine
  3d engine implementation in DNA code!
  ☆549Updated 4 years ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆360Updated 10 months ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆298Updated last month
• eeeeaaii / vodka
  Creative Coding Environment
  ☆126Updated last week
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆161Updated last year
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• webyrd / mediKanren
  Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
  ☆330Updated 2 months ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆240Updated 3 weeks ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆223Updated 3 months ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated this week
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆414Updated last month
• jostmey / msm
  Improved statistical classifier for immune repertoires
  ☆176Updated 2 years ago
• kach / tower-of-power
  What is hip? Tell me, tell me (if you think you know)
  ☆110Updated 6 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆199Updated last year
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆624Updated 2 years ago
• Walker-TW / Algorithm-Visualizer
  View Algorithms in the Browser! - Built with ReactJs
  ☆183Updated 2 years ago
• oskardolch / SteamCAD
  2D CAD especially designed to draw steam locomotives
  ☆195Updated last year
• aztek / awesome-self-reference
  A curated list of examples of self-reference in art, science, and technology
  ☆266Updated 7 months ago
• breck7 / scrollsdk
  The code for Particles and Parsers, which Scroll is built on.
  ☆388Updated last month
• stanford-cs248 / draw-svg
  Stanford CS248 Assignment 1: Implement a simple SVG renderer
  ☆21Updated 4 months ago
• maxvfischer / DIY-ai-art
  How to build your own AI art installation from scratch
  ☆566Updated 3 years ago
• photonlines / Intuitive-Overview-of-Linear-Algebra-Fundamentals
  An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.
  ☆99Updated 6 years ago