prathyvsh / formal-systems-in-biologyLinks
Application of formal systems to model biological systems
☆474Updated 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☆469Updated 5 years ago
- My personal repository of formally verified mathematics.☆299Updated 2 months ago
- Books that makes heavy use of visuals for scientific communication☆159Updated last year
- Course materials for Dartmouth course: Human Memory (PSYC 51.09)☆259Updated last month
- Repo to track the evolution of notation in arts and sciences☆139Updated 2 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆486Updated 4 years ago
- List of future of programming projects☆361Updated 11 months ago
- An intuitive and visual guide to understanding Maxwell's equations.☆793Updated 4 years ago
- 💎 beautiful website generator aimed at math-heavy sites☆332Updated 9 months ago
- 🌱 Grow delightful software☆256Updated 6 years ago
- Interesting Papers and Ideas☆84Updated 8 years ago
- 3d engine implementation in DNA code!☆550Updated 4 years ago
- Notes for courses taken at Harvard (2015--2019)☆474Updated 6 years ago
- What is hip? Tell me, tell me (if you think you know)☆110Updated 6 years ago
- Neural network inference the Unix way☆560Updated 6 years ago
- An online IDE for visual programming in Prolog☆240Updated last month
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Creative Coding Environment☆126Updated last month
- Collection of quotes on notation design & how it affects thought.☆1,883Updated 4 years ago
- A curated list of awesome explorable explanations.☆781Updated 5 months ago
- Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.☆331Updated this week
- A book about category theory☆414Updated last month
- Analysis of the SARS-CoV-2 genome☆59Updated 5 years ago
- Casual experiments with cellular automata☆78Updated 6 years ago
- View Algorithms in the Browser! - Built with ReactJs☆183Updated 2 years ago
- A programming language for the decentralized web☆448Updated 2 years ago
- Ternary computer emulator☆233Updated 2 years ago
- Stanford CS248 Assignment 1: Implement a simple SVG renderer☆22Updated 4 months ago
- Toybox of explanations of mathematics. Initial focus on (discrete) differential geometry☆279Updated 2 years ago
- posts and code related to personal studies☆372Updated 7 months ago