mrieppel

mrieppel's Stars

• jgm/pandoc

  Universal markup converter

  Language:Haskell34.4k5157.7k3.4k

• CSSEGISandData/COVID-19

  Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

  29.1k8663.8k18.4k

• overleaf/overleaf

  A web-based collaborative LaTeX editor

  Language:JavaScript14k2091k1.4k

• OpenLogicProject/OpenLogic

  An open-source, customizable intermediate logic textbook

  Language:TeX1.1k98169240

• rkirsling/modallogic

  Modal Logic Playground

  Language:JavaScript36722755

• Carnap/Carnap

  A formal logic framework that runs in the browser

  Language:Haskell2702128028

• LogicalAtomist/principia

  The Principia Rewrite

  Language:TeX2051605

• wo/tpg

  Tree Proof Generator

  Language:JavaScript15473020

• rzach/forallx-yyc

  UCalgary version of forallx, an introduction to formal logic

  Language:TeX93126029

• wyleyr/noradraw

  A curses-based drawing program

  Language:Python2300