Alternatives and similar repositories for composing-programs-published

Users that are interested in composing-programs-published are comparing it to the libraries listed below

• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated 2 weeks ago
• lgarron / crypto.graphics
  crypto.graphics
  ☆27Updated 5 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆40Updated this week
• spratt / Computer-Modern
  Makes it simple to use a web-optimized version of the Computer Modern font in web pages.
  ☆46Updated 3 years ago
• j2kun / essays
  Short essays I've written
  ☆79Updated last year
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated this week
• edemaine / coauthor
  Coauthor supercollaboration/discussion forum
  ☆262Updated 2 weeks ago
• gwern / archiver-bot
  Background daemon which archives a list of URLs to the Internet Archive, archive.is, and other services
  ☆58Updated last year
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 7 years ago
• recursecenter / proxy
  TLS proxy for *.recurse.com domains
  ☆20Updated 2 years ago
• aatishb / entropy
  An explainer on entropy
  ☆67Updated last year
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆170Updated this week
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 9 months ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆109Updated last year
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 8 months ago
• gradescope / autograder_samples
  Examples of autograders for running on Gradescope
  ☆84Updated 5 months ago
• pi-base / data
  A community database of topological counterexamples
  ☆122Updated this week
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 2 months ago
• AZHenley / superoptimizer
  A toy superoptimizer for a limited assembly language.
  ☆58Updated 2 years ago
• aymannadeem / speedyscholar
  Summaries of academic papers
  ☆20Updated 6 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• formalabstracts / formalabstracts
  ☆164Updated 5 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆47Updated 11 months ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆66Updated 5 years ago
• fredhohman / card-shuffling
  The Math of Card Shufflig
  ☆38Updated 3 years ago
• trishume / ratewithscience
  Rate things on arbitrary scales using big data and science!
  ☆51Updated 5 years ago