prathyvsh / formal-systems-in-biologyLinks
Application of formal systems to model biological systems
☆488Updated 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
- Course materials for Dartmouth course: Human Memory (PSYC 51.09)☆261Updated 3 months ago
- ACT community resources☆468Updated 5 years ago
- Books that makes heavy use of visuals for scientific communication☆163Updated last year
- 3d engine implementation in DNA code!☆551Updated 4 years ago
- Repo to track the evolution of notation in arts and sciences☆145Updated 2 years ago
- Neural network inference the Unix way☆561Updated 6 years ago
- List of future of programming projects☆367Updated last year
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆487Updated 4 years ago
- My personal repository of formally verified mathematics.☆305Updated this week
- The Principia Rewrite☆224Updated 6 months ago
- posts and code related to personal studies☆370Updated 10 months ago
- Analysis of the SARS-CoV-2 genome☆59Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Casual experiments with cellular automata☆78Updated 6 years ago
- Toybox of explanations of mathematics. Initial focus on (discrete) differential geometry☆279Updated 2 years ago
- Interesting Papers and Ideas☆85Updated 8 years ago
- 2D CAD especially designed to draw steam locomotives☆196Updated last year
- Creative Coding Environment☆126Updated 2 months ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆218Updated 7 years ago
- 💎 beautiful website generator aimed at math-heavy sites☆331Updated last month
- A simple L-Systems explorer powered by WebGL☆98Updated 4 months ago
- Stanford CS248 Assignment 1: Implement a simple SVG renderer☆23Updated 7 months ago
- What is hip? Tell me, tell me (if you think you know)☆110Updated 7 years ago
- A directory of verified programs that offer grants + funding towards side projects/startups☆376Updated 4 years ago
- Generate guitar tablatures using a constraint solver☆139Updated 5 years ago
- A curated list of examples of self-reference in art, science, and technology☆267Updated 10 months ago
- code + contents of my website, and programming life☆366Updated last week
- Geometric Algebra for Python☆826Updated 6 months ago
- Explorable Physics is a website with course notes for algebra based physics with explorable explanations.☆135Updated last week