prathyvsh / formal-systems-in-biologyLinks
Application of formal systems to model biological systems
☆482Updated 2 years ago
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
Sorting:
- ACT community resources☆467Updated 5 years ago
- 3d engine implementation in DNA code!☆550Updated 4 years ago
- Repo to track the evolution of notation in arts and sciences☆144Updated 2 years ago
- Course materials for Dartmouth course: Human Memory (PSYC 51.09)☆260Updated last month
- 💎 beautiful website generator aimed at math-heavy sites☆332Updated 10 months ago
- An intuitive and visual guide to understanding Maxwell's equations.☆794Updated 4 years ago
- A book about category theory☆416Updated last week
- List of future of programming projects☆364Updated 11 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆487Updated 4 years ago
- posts and code related to personal studies☆372Updated 8 months ago
- Books that makes heavy use of visuals for scientific communication☆160Updated last year
- My personal repository of formally verified mathematics.☆301Updated 3 months ago
- Random fractal or the secret behind my tree☆94Updated 5 years ago
- The Principia Rewrite☆223Updated 4 months ago
- Creative Coding Environment☆126Updated last week
- Casual experiments with cellular automata☆78Updated 6 years ago
- An online IDE for visual programming in Prolog☆243Updated last week
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆218Updated 7 years ago
- Notes for courses taken at Harvard (2015--2019)☆473Updated 6 years ago
- Toybox of explanations of mathematics. Initial focus on (discrete) differential geometry☆279Updated 2 years ago
- A curated list of examples of self-reference in art, science, and technology☆266Updated 8 months ago
- What is hip? Tell me, tell me (if you think you know)☆110Updated 6 years ago
- Generate guitar tablatures using a constraint solver☆138Updated 5 years ago
- Resources for learning Category Theory for an enthusiast☆627Updated 2 years ago
- Geometric Algebra for Python☆821Updated 4 months ago
- See OpGuidesHugoSRC repo to Contrubitue---A collection of educational un-textbooked, actually digestible pages on various topics. Links t…☆115Updated 2 months ago
- List of links of techniques to help enhance mathematical notation☆186Updated 8 months ago
- A curated list of awesome explorable explanations.☆782Updated 5 months ago
- Ternary computer emulator☆233Updated 3 years ago