dunn / modernphilosophy

Related projects: ⓘ

• rzach / git4phi
  Git for Philosophers
  ☆34Updated last year
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆33Updated 3 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆87Updated 2 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 6 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆63Updated 2 months ago
• saltvedt / explore-sep
  Visualizing the Stanford Encyclopedia of Philosophy
  ☆20Updated 6 years ago
• bcrowell / calculus
  ☆37Updated this week
• x-raizor / visual-tokipona
  Toki Pona Visual Dictionary with English, Italian and Russian translation in pictures
  ☆32Updated last year
• jgm / gitit2
  A reimplementation of gitit in Yesod
  ☆95Updated 6 years ago
• SuprDewd / asciimath
  asciimath is a simple command-line tool for displaying math equations as ascii art.
  ☆21Updated 7 years ago
• mattmight / bib2sx
  A tool for manipulating bibtex files as s-expressions
  ☆33Updated 5 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆272Updated 7 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆35Updated 3 months ago
• aatishb / entropy
  An explainer on entropy
  ☆61Updated 5 months ago
• kdelwat / Onset
  A language evolution simulator, using realistic phonetic changes.
  ☆37Updated last year
• debrouwere / python-literate
  Research notebooks in Python, with the power of literate programming and Markdown.
  ☆40Updated 11 years ago
• bennn / iPoe
  Interactive POetry Editor
  ☆27Updated 2 years ago
• corcra / esperanto
  Esperanto... things.
  ☆14Updated 3 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆64Updated 2 years ago
• sharkdp / factorization-diagrams
  Interactive factorization diagrams
  ☆29Updated 10 months ago
• davidar / TeX.js
  TeXify: Typesetting for the Web
  ☆47Updated last year
• nyusemantics / LambdaCalculator
  ☆38Updated this week
• jan-Lope / Toki_Pona-Parser
  Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…
  ☆48Updated 5 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆59Updated 9 months ago
• paolobrasolin / tex-dicISCZ
  ☆21Updated 9 years ago
• datagrok / makebakery
  ☆63Updated this week
• edwardtufte / tufte-latex
  Tufte-style documents with LaTex
  ☆53Updated 8 years ago
• chejnik / LaTex-ICSS
  Icelandic-Czech Students' Dictionary in LaTex
  ☆19Updated 8 years ago
• rebcabin / tangledown
  Self-contained, one-step literate markdown.
  ☆22Updated last year
• tomduck / bassclef
  A static Web site generator built from stable and mature command-line tools.
  ☆15Updated 3 years ago