prathyvsh / formal-systems-in-biology

Related projects: ⓘ

• photonlines / Intuitive-Guide-to-Maxwells-Equations
  An intuitive and visual guide to understanding Maxwell's equations.
  ☆792Updated 4 years ago
• pallada-92 / dna-3d-engine
  3d engine implementation in DNA code!
  ☆547Updated 3 years ago
• statebox / awesome-applied-ct
  ACT community resources
  ☆463Updated 4 years ago
• raviksharma / bartosz-basics-of-haskell
  Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
  ☆488Updated 3 years ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆165Updated last year
• prathyvsh / notation
  Repo to track the evolution of notation in arts and sciences
  ☆137Updated last year
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆153Updated 7 months ago
• ContextLab / human-memory
  Course materials for Dartmouth course: Human Memory (PSYC 51.09)
  ☆251Updated 6 months ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆354Updated 2 months ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆290Updated 3 months ago
• fogus / thunks
  posts and code related to personal studies
  ☆374Updated last year
• kai-qu / notation
  Collection of quotes on notation design & how it affects thought.
  ☆1,846Updated 3 years ago
• artagnon / clayoven
  💎 beautiful website generator aimed at math-heavy sites
  ☆333Updated 3 weeks ago
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆319Updated 2 months ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆204Updated 4 months ago
• cloudkj / layer
  Neural network inference the Unix way
  ☆558Updated 5 years ago
• Gabriella439 / simple-twitter
  A bare-bones Twitter clone implemented in a single file
  ☆724Updated 3 years ago
• stanford-cs248 / draw-svg
  Stanford CS248 Assignment 1: Implement a simple SVG renderer
  ☆18Updated 7 months ago
• MikeInnes / diff-zoo
  Differentiation for Hackers
  ☆772Updated 3 years ago
• e-n-f / if-then-else
  !!Con West 2019 talk
  ☆349Updated 3 years ago
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆82Updated 7 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 5 years ago
• dongryul-kim / harvard_notes
  Notes for courses taken at Harvard (2015--2019)
  ☆421Updated 5 years ago
• webyrd / mediKanren
  Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
  ☆324Updated 3 weeks ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆193Updated last month
• blob42 / awesome-explorables
  A curated list of awesome explorable explanations.
  ☆746Updated last year
• bollu / mathemagic
  Toybox of explanations of mathematics. Initial focus on (discrete) differential geometry
  ☆279Updated last year
• samsquire / ideas3
  ☆257Updated this week
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆598Updated last year
• eeeeaarr / vodka
  Creative Coding Environment
  ☆126Updated 6 months ago