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

• ContextLab / human-memory
  Course materials for Dartmouth course: Human Memory (PSYC 51.09)
  ☆261Updated 5 months ago
• photonlines / Intuitive-Guide-to-Maxwells-Equations
  An intuitive and visual guide to understanding Maxwell's equations.
  ☆796Updated 5 years ago
• statebox / awesome-applied-ct
  ACT community resources
  ☆468Updated 5 years ago
• prathyvsh / notation
  Repo to track the evolution of notation in arts and sciences
  ☆145Updated 2 years ago
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆85Updated 8 years ago
• pallada-92 / dna-3d-engine
  3d engine implementation in DNA code!
  ☆552Updated 4 years ago
• cloudkj / layer
  Neural network inference the Unix way
  ☆563Updated 6 years ago
• raviksharma / bartosz-basics-of-haskell
  Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
  ☆487Updated 4 years ago
• eeeeaaii / vodka
  Creative Coding Environment
  ☆126Updated 3 months ago
• webyrd / mediKanren
  Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
  ☆331Updated 3 months ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆368Updated last year
• artagnon / clayoven
  💎 beautiful website generator aimed at math-heavy sites
  ☆330Updated 3 months 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
• LogicalAtomist / principia
  The Principia Rewrite
  ☆227Updated 8 months ago
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆163Updated last year
• blob42 / awesome-explorables
  A curated list of awesome explorable explanations.
  ☆794Updated 9 months ago
• VegaDeftwing / opinionatedguide
  See OpGuidesHugoSRC repo to Contrubitue---A collection of educational un-textbooked, actually digestible pages on various topics. Links t…
  ☆114Updated last month
• dongryul-kim / harvard_notes
  Notes for courses taken at Harvard (2015--2019)
  ☆474Updated 6 years ago
• bollu / mathemagic
  Toybox of explanations of mathematics. Initial focus on (discrete) differential geometry
  ☆280Updated 2 years ago
• fogus / thunks
  posts and code related to personal studies
  ☆370Updated 11 months ago
• amyjko / foundations-of-information
  A book to support the INFO 200 Intellectual Foundations of Information course.
  ☆140Updated last year
• MikeInnes / diff-zoo
  Differentiation for Hackers
  ☆779Updated 4 years ago
• aztek / awesome-self-reference
  A curated list of examples of self-reference in art, science, and technology
  ☆266Updated last year
• landgreen / physics
  Explorable Physics is a website with course notes for algebra based physics with explorable explanations.
  ☆137Updated last month
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆306Updated last month
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆245Updated 3 months ago
• stanford-cs248 / draw-svg
  Stanford CS248 Assignment 1: Implement a simple SVG renderer
  ☆24Updated 8 months ago
• ssloy / triador
  Ternary computer emulator
  ☆237Updated 3 years ago
• maxvfischer / DIY-ai-art
  How to build your own AI art installation from scratch
  ☆566Updated 4 years ago