prathyvsh / formal-systems-in-biologyLinks
Application of formal systems to model biological systems
☆484Updated 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:
- An intuitive and visual guide to understanding Maxwell's equations.☆795Updated 5 years ago
- Interesting Papers and Ideas☆85Updated 8 years ago
- ACT community resources☆468Updated 5 years ago
- 3d engine implementation in DNA code!☆551Updated 4 years ago
- Course materials for Dartmouth course: Human Memory (PSYC 51.09)☆261Updated 3 months ago
- Repo to track the evolution of notation in arts and sciences☆145Updated 2 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆487Updated 4 years ago
- Books that makes heavy use of visuals for scientific communication☆162Updated last year
- code + contents of my website, and programming life☆364Updated 2 weeks ago
- A curated list of awesome explorable explanations.☆787Updated 7 months ago
- List of future of programming projects☆367Updated last year
- Toybox of explanations of mathematics. Initial focus on (discrete) differential geometry☆279Updated 2 years ago
- Neural network inference the Unix way☆561Updated 6 years ago
- 💎 beautiful website generator aimed at math-heavy sites☆331Updated last month
- See OpGuidesHugoSRC repo to Contrubitue---A collection of educational un-textbooked, actually digestible pages on various topics. Links t…☆115Updated 4 months ago
- posts and code related to personal studies☆371Updated 9 months ago
- My personal repository of formally verified mathematics.☆303Updated last week
- Notes for courses taken at Harvard (2015--2019)☆475Updated 6 years ago
- Explorable Physics is a website with course notes for algebra based physics with explorable explanations.☆135Updated last month
- Casual experiments with cellular automata☆78Updated 6 years ago
- The Principia Rewrite☆224Updated 6 months ago
- Creative Coding Environment☆126Updated last month
- Statistical classifier for immune repertoires☆45Updated 2 years ago
- A document version of my "Vipassana for Hackers" talk☆595Updated last year
- Analysis of the SARS-CoV-2 genome☆59Updated 5 years ago
- Stanford CS248 Assignment 1: Implement a simple SVG renderer☆23Updated 6 months ago
- A typed, polyglot, functional language☆202Updated this week
- Ternary computer emulator☆233Updated 3 years ago
- A directory of verified programs that offer grants + funding towards side projects/startups☆373Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago