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

• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆166Updated 2 years ago
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆157Updated 11 months ago
• pallada-92 / dna-3d-engine
  3d engine implementation in DNA code!
  ☆549Updated 4 years ago
• prathyvsh / notation
  Repo to track the evolution of notation in arts and sciences
  ☆137Updated 2 years ago
• ContextLab / human-memory
  Course materials for Dartmouth course: Human Memory (PSYC 51.09)
  ☆256Updated 10 months ago
• photonlines / Intuitive-Guide-to-Maxwells-Equations
  An intuitive and visual guide to understanding Maxwell's equations.
  ☆792Updated 4 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated last week
• statebox / awesome-applied-ct
  ACT community resources
  ☆465Updated 5 years ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆356Updated 6 months ago
• fogus / thunks
  posts and code related to personal studies
  ☆374Updated 3 months ago
• eeeeaaii / vodka
  Creative Coding Environment
  ☆126Updated 3 months ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆236Updated this week
• LogicalAtomist / principia
  The Principia Rewrite
  ☆209Updated last month
• nqureshi / sars-cov-2
  Analysis of the SARS-CoV-2 genome
  ☆55Updated 4 years ago
• artagnon / clayoven
  💎 beautiful website generator aimed at math-heavy sites
  ☆331Updated 4 months ago
• kach / tower-of-power
  What is hip? Tell me, tell me (if you think you know)
  ☆110Updated 6 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 5 years ago
• pygae / clifford
  Geometric Algebra for Python
  ☆793Updated last month
• ianthehenry / bauble
  a playground for making 3D art with lisp and math
  ☆459Updated this week
• raviksharma / bartosz-basics-of-haskell
  Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
  ☆488Updated 4 years ago
• khinsen / leibniz
  A Digital Scientific Notation
  ☆281Updated 3 years ago
• ericu / CellCulTuring
  Casual experiments with cellular automata
  ☆76Updated 5 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated 2 weeks ago
• dongryul-kim / harvard_notes
  Notes for courses taken at Harvard (2015--2019)
  ☆465Updated 6 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• bollu / mathemagic
  Toybox of explanations of mathematics. Initial focus on (discrete) differential geometry
  ☆280Updated 2 years ago
• landgreen / physics
  Explorable Physics is a website with course notes for algebra based physics with explorable explanations.
  ☆129Updated last week
• radekosmulski / aiquizzes-anki
  ☆152Updated 2 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆209Updated 2 weeks ago
• dmishin / fft-image-experiments
  Experiments with applying Fourier transofrms to various plane-filling curves and patterns
  ☆218Updated 7 years ago