Alternatives and similar repositories for giam

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

• kedlaya / math157
  ☆42Updated 4 years ago
• malikpiara / logicola
  LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.
  ☆55Updated 2 weeks ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 9 months ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆71Updated 10 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated 3 months ago
• photonlines / Intuitive-Overview-of-Linear-Algebra-Fundamentals
  An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.
  ☆162Updated 6 years ago
• Dicklesworthstone / grassmann_article
  ☆53Updated last year
• sim-museum / esports-for-engineers
  Providing linux scripts, documentation and bug fixes to revitalize classic engineering simulation games. The games are organized into a …
  ☆83Updated 11 months ago
• nadvornix / calculus-made-easy
  HTML conversion of a great beginner calculus book
  ☆280Updated 8 months ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated last year
• karoliskoncevicius / r_notes
  Personal collection of R notes
  ☆195Updated 2 years ago
• massimo-nazaria / bash-textgen
  A random text generation toolchain using n-grams written in Bash
  ☆16Updated last year
• stefanrodrigues2 / Prolog-Adventure-game
  Text Adventure game in SWI Prolog.
  ☆102Updated 2 years ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆169Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 3 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 6 months ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆67Updated 3 weeks ago
• Amourspirit / python_libre_pythonista_ext
  ☆128Updated 4 months ago
• jaredkrinke / 100-languages
  Solving the first 100 Project Euler problems using 100 different programming languages!
  ☆242Updated 7 months ago
• felipap / sicp-code
  Digitized code from MIT's 1986 SICP video lectures.
  ☆195Updated 6 years ago
• rochus-keller / CrossLine
  CrossLine is an outliner with sophisticated cross-link capabilities in the tradition of the well-respected Ecco Pro
  ☆171Updated 2 years ago
• guidoism / tex-oberon
  Make Project Oberon Pretty Again
  ☆203Updated last year
• amyjko / foundations-of-information
  A book to support the INFO 200 Intellectual Foundations of Information course.
  ☆141Updated last year
• lelanthran / l2h
  Convert s-expressions input to HTML output.
  ☆49Updated last year
• susam / mathb
  Mathematics pastebin software that powered MathB.in from 2012 to 2025
  ☆374Updated 9 months ago
• carloocchiena / the_statistics_handbook
  the statistics handbook open source repository
  ☆272Updated last week
• mattmight / advent-of-code-2022
  ☆50Updated 3 years ago
• pladams9 / hexsheets
  A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.
  ☆91Updated 3 months ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆246Updated last week