prathyvsh / formal-systems-in-biology

Related projects ⓘ

Alternatives and complementary repositories for formal-systems-in-biology

• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆165Updated last year
• statebox / awesome-applied-ct
  ACT community resources
  ☆465Updated 4 years ago
• ContextLab / human-memory
  Course materials for Dartmouth course: Human Memory (PSYC 51.09)
  ☆254Updated 8 months ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆354Updated 4 months ago
• photonlines / Intuitive-Guide-to-Maxwells-Equations
  An intuitive and visual guide to understanding Maxwell's equations.
  ☆793Updated 4 years ago
• prathyvsh / notation
  Repo to track the evolution of notation in arts and sciences
  ☆137Updated last year
• pallada-92 / dna-3d-engine
  3d engine implementation in DNA code!
  ☆548Updated 3 years ago
• ianthehenry / bauble
  a playground for making 3D art with lisp and math
  ☆405Updated last week
• LogicalAtomist / principia
  The Principia Rewrite
  ☆207Updated 6 months ago
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆155Updated 9 months ago
• webyrd / mediKanren
  Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
  ☆325Updated 2 weeks ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆291Updated 3 weeks ago
• neozhaoliang / Hyperbolic-Honeycombs
  Visualize 3d/4d hyperbolic honeycombs and Boyd-Maxwell sphere packings.
  ☆245Updated this week
• fredhohman / awesome-mathematical-notation-design
  List of links of techniques to help enhance mathematical notation
  ☆180Updated last month
• raviksharma / bartosz-basics-of-haskell
  Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
  ☆488Updated 3 years ago
• marcpaq / b1fipl
  A Bestiary of Single-File Implementations of Programming Languages
  ☆1,000Updated 7 months ago
• fogus / thunks
  posts and code related to personal studies
  ☆374Updated last month
• kach / tower-of-power
  What is hip? Tell me, tell me (if you think you know)
  ☆110Updated 6 years ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆235Updated last week
• victorqribeiro / randomFractal
  Random fractal or the secret behind my tree
  ☆93Updated 4 years ago
• sakofchit / fund-my-project
  A directory of verified programs that offer grants + funding towards side projects/startups
  ☆374Updated 4 years ago
• artagnon / clayoven
  💎 beautiful website generator aimed at math-heavy sites
  ☆332Updated 2 months ago
• ivanreese / visual-programming-codex
  Waypoints to the past and future of visual programming.
  ☆1,358Updated last year
• nqureshi / sars-cov-2
  Analysis of the SARS-CoV-2 genome
  ☆55Updated 4 years ago
• blob42 / awesome-explorables
  A curated list of awesome explorable explanations.
  ☆750Updated last month
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆304Updated last year
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆100Updated last year
• mnielsen / magic_paper
  Experiments in an explorable visual medium for mathematics
  ☆256Updated 7 years ago
• woodrush / lisp-in-life
  A Lisp interpreter implemented in Conway's Game of Life
  ☆453Updated 2 years ago
• kai-qu / notation
  Collection of quotes on notation design & how it affects thought.
  ☆1,845Updated 3 years ago