Alternatives and similar repositories for program-gallery:

Users that are interested in program-gallery are comparing it to the libraries listed below

• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated last year
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆65Updated 7 years ago
• rtoal / ple
  Programming Language Explorations
  ☆93Updated this week
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 2 years ago
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆112Updated this week
• project-lovelace / lovelace-problems
  🧪 Project Lovelace problem modules for generating test cases.
  ☆33Updated 2 years ago
• codereport / Content
  Links, slide decks and other material for conference & meetup talks, podcast appearances and publications.
  ☆215Updated 3 months ago
• BartoszMilewski / Concurrency
  ☆49Updated 5 years ago
• IMCG / graph-theory-algorithms-book
  https://code.google.com/p/graph-theory-algorithms-book/
  ☆20Updated 9 years ago
• ltworf / relational
  Educational tool for relational algebra
  ☆91Updated 10 months ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• Dicklesworthstone / grassmann_article
  ☆50Updated 9 months ago
• horenmar / sudoku-example
  An example of C++ Sudoku solver using MiniSat library.
  ☆29Updated 3 years ago
• mikeizbicki / cmc-csci181-deeplearning
  deep learning course materials
  ☆15Updated 4 years ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆47Updated 9 years ago
• learnmath / book
  An Introduction to Various Math Topics
  ☆9Updated 10 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• sympy / sympy-paper
  Repo for the paper "SymPy: symbolic computing in python"
  ☆47Updated 4 years ago
• vectorclass / miscellaneous
  Miscellaneous files relating to Vector class library
  ☆9Updated 2 years ago
• stlab / eop-parser
  Parser for language from Elements of Programming
  ☆38Updated 11 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated last year
• Axel-Naumann / cling-all-in-one
  llvm, clang and cling wrapped into one repo
  ☆50Updated 11 months ago
• dabeaz / python-distilled
  Resources for Python Distilled (Book)
  ☆98Updated 7 months ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated last year
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated last week
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆38Updated 3 weeks ago
• jrmuizel / pyunum
  Python port of the Mathematica unum prototype from "The End of Error"
  ☆52Updated 8 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 9 months ago
• tbjw / ILAUBC
  A UBC fork of Interactive Linear Algebra by Margalit & Rabinoff
  ☆23Updated 3 months ago