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
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆35Updated 3 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆36Updated 8 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• saltvedt / explore-sep
  Visualizing the Stanford Encyclopedia of Philosophy
  ☆21Updated 7 years ago
• tscizzle / IPD_Morality
  Run Iterated Prisoner's Dilemma tournaments, Judge the bots according to various morality metrics
  ☆80Updated 6 months ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆88Updated 3 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated last month
• pbellon / tractatus-tree
  Visualization of the Wittgenstein's tractatus logico-philosophicus
  ☆60Updated 10 years ago
• jgm / gitit2
  A reimplementation of gitit in Yesod
  ☆95Updated 6 years ago
• antonyeagle / edl
  Elements of Deductive Logic, an open-source intermediate logic textbook
  ☆12Updated 7 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 4 months ago
• jpalardy / Command-line-one-liner-challenges
  A series of challenges for people who love command-line one-liners.
  ☆60Updated 8 years ago
• jgm / dotvim
  My vim configuration
  ☆31Updated 2 years ago
• ocharles / pandoc-live
  Automatically refresh Pandoc documents in your web browser
  ☆52Updated 8 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated last year
• p-e-w / sequencer
  Purely algorithmic number sequence identification
  ☆29Updated 3 years ago
• hellerve / ptolemy
  My reading list
  ☆82Updated 2 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 3 weeks ago
• pkgw / webtex
  ON HIATUS. Mostly-complete LaTeX engine implemented fully in JavaScript.
  ☆33Updated 9 years ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆37Updated last year
• aatishb / entropy
  An explainer on entropy
  ☆66Updated 10 months ago
• Ceasar / Encyclopedia
  Tool for keeping a hypermedia encyclopedia
  ☆56Updated 2 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 3 years ago
• samuelsnyder / outline-todo.txt
  Extension for command line todo.text that allows you to manage and sync next actions from an outline to todo.txt
  ☆19Updated 4 years ago
• skeeto / british-square
  British Square Engine (Analysis and Perfect AI Player)
  ☆16Updated 4 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆28Updated 9 months ago
• gregfjohnson / aplette
  This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…
  ☆89Updated last year
• mattmight / bib2sx
  A tool for manipulating bibtex files as s-expressions
  ☆33Updated 6 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago