pbellon / tractatus-tree

Related projects: ⓘ

• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆33Updated 3 years ago
• Alex-Linhares / FARGonautica
  ☆112Updated last year
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆20Updated 2 years ago
• rspeer / wikiparsec
  An LL parser for extracting information from Wiki text, particularly Wiktionary.
  ☆48Updated last year
• aatishb / entropy
  An explainer on entropy
  ☆61Updated 5 months ago
• longnow / longview
  Long View is a utility written in Python for generating long-spanning timelines from CSV-formatted data.
  ☆108Updated 12 years ago
• prathyvsh / notation
  Repo to track the evolution of notation in arts and sciences
  ☆137Updated last year
• kedlaya / math157
  ☆41Updated 3 years ago
• probmods / chapters
  The online textbook Probabilistic Models of Cognition
  ☆163Updated 7 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆115Updated 2 years ago
• w2g / w2g
  World Wide Graph: A memex for semantic notetaking
  ☆44Updated 4 years ago
• aberke / coloring-book
  This is a Coloring Book about Group Theory
  ☆85Updated last year
• GITenberg / gitenberg.github.com
  Pages repo
  ☆88Updated 2 years ago
• ssardina / ergo
  ERGO Agent Programming Language
  ☆27Updated 3 months ago
• johannesloetzsch / reasonablepy
  Reasonable Python is a module which adds F-Logic to Python
  ☆25Updated 13 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆67Updated last week
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 6 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆173Updated 4 months ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆87Updated 2 years ago
• khinsen / leibniz
  A Digital Scientific Notation
  ☆281Updated 3 years ago
• fizyk20 / ithkuil
  A set of tools for analysis of texts in the Ithkuil constructed language
  ☆30Updated 5 years ago
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆63Updated 4 years ago
• judell / StandaloneAnchoring
  Demo of using dom-anchor-text-quote to anchor annotations independently of the Hypothesis client
  ☆10Updated 6 years ago
• gitenberg-dev / gitberg
  A command-line tool for interacting with books in git
  ☆110Updated 3 weeks ago
• internetarchive / fatcat
  Perpetual Access To The Scholarly Record
  ☆114Updated last month
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆82Updated 7 years ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆41Updated this week
• victorqribeiro / randomFractal
  Random fractal or the secret behind my tree
  ☆93Updated 4 years ago
• harc / seymour
  A live programming environment that lets you see the inner workings of programs
  ☆74Updated 2 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆59Updated 9 months ago