Alternatives and similar repositories for essays

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

• pim-book / exercises
  Solutions, discussions, and approaches to the exercises
  ☆145Updated 6 years ago
• hellerve / ptolemy
  My reading list
  ☆83Updated 3 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• aberke / coloring-book
  This is a Coloring Book about Group Theory
  ☆88Updated 2 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated 2 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated last week
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆157Updated 4 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆178Updated last year
• mnielsen / magic_paper
  Experiments in an explorable visual medium for mathematics
  ☆263Updated 7 years ago
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆85Updated 8 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• snaptoken / leg
  Tools for making step-by-step code walkthroughs
  ☆137Updated 4 years ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆125Updated last year
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 2 months ago
• mnielsen / tiddlylisp
  A toy Lisp interpreter and simple eval function
  ☆148Updated 2 years ago
• fredhohman / awesome-mathematical-notation-design
  List of links of techniques to help enhance mathematical notation
  ☆189Updated 10 months ago
• aatishb / entropy
  An explainer on entropy
  ☆67Updated last year
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆163Updated last year
• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆110Updated 5 years ago
• kedlaya / math157
  ☆43Updated 4 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 4 months ago
• zx9w / read-together
  Organize remote meetings for reading computer science papers
  ☆34Updated 5 years ago
• rtoal / ple
  Programming Language Explorations
  ☆96Updated this week
• ablwr / my-recurse-center-syllabus
  updated regularly while attending Recurse Center in Spring 2 '18
  ☆103Updated 3 months ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆104Updated 7 months ago
• darius / code-canon
  A catalog of code worth reading
  ☆112Updated 8 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• markfloryan / pdr
  A repo for a Program and Data Representation university-level course
  ☆38Updated 6 years ago
• codereport / Programming-Language-Meetups
  ☆20Updated 4 years ago