Alternatives and similar repositories for giam

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

• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆97Updated last year
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆70Updated 3 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆132Updated 7 months ago
• 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 5 months ago
• drio / unixmagic
  Capturing all the details of the classic Usenix Unix poster.
  ☆71Updated 2 months ago
• Dicklesworthstone / grassmann_article
  ☆51Updated last year
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆80Updated 3 months ago
• guidoism / tex-oberon
  Make Project Oberon Pretty Again
  ☆196Updated last year
• 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…
  ☆36Updated 2 years ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆244Updated 2 weeks ago
• Amourspirit / python_libre_pythonista_ext
  ☆123Updated 3 weeks ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆62Updated last month
• codr7 / eli
  Embedded Lisp Interpreter
  ☆52Updated last month
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆115Updated 2 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 2 months ago
• stefanrodrigues2 / Prolog-Adventure-game
  Text Adventure game in SWI Prolog.
  ☆100Updated last year
• 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.
  ☆99Updated 6 years ago
• nadvornix / calculus-made-easy
  HTML conversion of a great beginner calculus book
  ☆271Updated 2 months ago
• pladams9 / hexsheets
  A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.
  ☆91Updated last year
• lelanthran / l2h
  Convert s-expressions input to HTML output.
  ☆48Updated 11 months ago
• kelas / ooj
  the origins of J
  ☆62Updated last year
• kedlaya / math157
  ☆42Updated 4 years ago
• jaredkrinke / 100-languages
  Solving the first 100 Project Euler problems using 100 different programming languages!
  ☆240Updated last month
• jeprinz / pantograph
  ☆87Updated 4 months ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• agiacalone / cecs-342-lab-prolog
  CECS 342 Lab 4: Logic Languages with SWI-Prolog
  ☆13Updated 3 years ago
• massimo-nazaria / bash-textgen
  A random text generation toolchain using n-grams written in Bash
  ☆16Updated 10 months ago
• malikpiara / logicola
  LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.
  ☆49Updated 2 months ago
• data-centric-computing / dcic-public
  Repository for (for now) filing bug reports about DCIC.
  ☆28Updated 2 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 7 months ago