Alternatives and similar repositories for giam:

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

• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated 2 weeks ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated last month
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆96Updated last year
• Amourspirit / python_libre_pythonista_ext
  ☆111Updated this week
• Dicklesworthstone / grassmann_article
  ☆51Updated 10 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆116Updated last year
• LogicalAtomist / principia
  The Principia Rewrite
  ☆215Updated 2 months ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆140Updated 3 months ago
• drio / unixmagic
  Capturing all the details of the classic Usenix Unix poster.
  ☆66Updated last week
• massimo-nazaria / bash-textgen
  A random text generation toolchain using n-grams written in Bash
  ☆16Updated 7 months ago
• photonlines / Learn-R-by-Example
  R script which gives an overview of R through code and code comments.
  ☆18Updated 6 years ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆43Updated last week
• codr7 / eli
  Embedded Lisp Interpreter
  ☆39Updated this week
• jeprinz / pantograph
  ☆82Updated 2 months ago
• karoliskoncevicius / r_notes
  Personal collection of R notes
  ☆192Updated last year
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆84Updated 10 months ago
• lizmat / App-Rak
  21st century grep / find / ack / ag / rg on steroids
  ☆153Updated last month
• susam / mathb
  Mathematics pastebin software that powered MathB.in from 2012 to 2025
  ☆366Updated 3 weeks ago
• kedlaya / math157
  ☆41Updated 4 years ago
• guidoism / tex-oberon
  Make Project Oberon Pretty Again
  ☆192Updated last year
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆30Updated 11 months ago
• Mathics3 / mathics-django
  Django front-end to Mathics3
  ☆113Updated last month
• JosephSBoyle / skip_gram
  This is a numpy implementation of the Skip-gram algorithm described in Mikolov et al's Word2Vec paper. It is intended for didactic purpos…
  ☆35Updated last year
• lelanthran / l2h
  Convert s-expressions input to HTML output.
  ☆48Updated 9 months ago
• jawj / web-scraping-for-researchers
  Press Cmd + Alt + I
  ☆49Updated 6 months ago
• anonx3247 / mathlang
  A simpler syntax for math typesetting written in go, converts to LaTeX math
  ☆27Updated 2 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated this week
• pladams9 / hexsheets
  A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.
  ☆91Updated last year
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆98Updated 3 years ago