prathyvsh / formal-systems-in-biology
Application of formal systems to model biological systems
☆472Updated last year
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
- Thoughts on adjoint, norm and such.☆169Updated 2 years ago
- ACT community resources☆468Updated 5 years ago
- Repo to track the evolution of notation in arts and sciences☆138Updated 2 years ago
- Books that makes heavy use of visuals for scientific communication☆160Updated last year
- 💎 beautiful website generator aimed at math-heavy sites☆331Updated 6 months ago
- My personal repository of formally verified mathematics.☆295Updated last week
- posts and code related to personal studies☆372Updated 5 months ago
- Course materials for Dartmouth course: Human Memory (PSYC 51.09)☆259Updated last year
- An intuitive and visual guide to understanding Maxwell's equations.☆792Updated 4 years ago
- List of future of programming projects☆358Updated 8 months ago
- Toybox of explanations of mathematics. Initial focus on (discrete) differential geometry☆280Updated 2 years ago
- ☆152Updated 2 years ago
- Creative Coding Environment☆126Updated 5 months ago
- Neural network inference the Unix way☆559Updated 5 years ago
- 3d engine implementation in DNA code!☆550Updated 4 years ago
- The Principia Rewrite☆214Updated last month
- Collection of quotes on notation design & how it affects thought.☆1,849Updated 4 years 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☆488Updated 4 years ago
- What is hip? Tell me, tell me (if you think you know)☆110Updated 6 years ago
- A visualization of key structures in abstract algebra.☆155Updated 4 years ago
- Casual experiments with cellular automata☆76Updated 6 years ago
- Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.☆327Updated 3 weeks ago
- Don't spend a shit-ton of time filtering trivia.☆222Updated last month
- An online IDE for visual programming in Prolog☆239Updated this week
- A programming language for the decentralized web☆448Updated 2 years ago
- 2D CAD especially designed to draw steam locomotives☆195Updated last year
- Analysis of the SARS-CoV-2 genome☆57Updated 4 years ago
- MetaPost library initially written to automate some elements of black and white illustrations for a physics textbook☆369Updated 5 months ago
- A curated list of awesome explorable explanations.☆770Updated 2 months ago