Alternatives and similar repositories for modernphilosophy:

Users that are interested in modernphilosophy are comparing it to the libraries listed below

• rzach / git4phi
  Git for Philosophers
  ☆35Updated last year
• antonyeagle / edl
  Elements of Deductive Logic, an open-source intermediate logic textbook
  ☆13Updated 7 years ago
• saltvedt / explore-sep
  Visualizing the Stanford Encyclopedia of Philosophy
  ☆22Updated 7 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆35Updated 3 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated 11 months ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated this week
• philschatz / textbooks
  Openstax Textbooks ported to GitHub and hosted on GH Pages
  ☆51Updated 7 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆60Updated last year
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆43Updated last week
• MathHubInfo / Legacy-planetary
  Legacy: Planetary System is a math-enabled Web 3.0 information portal.
  ☆79Updated 8 years ago
• debrouwere / python-literate
  Research notebooks in Python, with the power of literate programming and Markdown.
  ☆41Updated 11 years ago
• logological / blood
  A LaTeX reproduction of "Persecution of New Ideas" by C. L. Blood
  ☆68Updated 9 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• connermcd / sed
  Haskell implementation of sed
  ☆37Updated 7 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆89Updated 3 years ago
• kasperpeulen / CoffeeTeX
  ☆19Updated 7 years ago
• chejnik / LaTex-ICSS
  Icelandic-Czech Students' Dictionary in LaTex
  ☆19Updated 9 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• davidar / TeX.js
  TeXify: Typesetting for the Web
  ☆48Updated last year
• zeis / kokoi
  Configurable markup file watcher, previewer and converter.
  ☆54Updated 7 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆53Updated 6 months ago
• hellerve / ptolemy
  My reading list
  ☆82Updated 3 years ago
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆45Updated last week
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆52Updated last week
• ocharles / pandoc-live
  Automatically refresh Pandoc documents in your web browser
  ☆51Updated 8 years ago
• rebcabin / tangledown
  Self-contained, one-step literate markdown.
  ☆23Updated 2 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago