Alternatives and similar repositories for giam:

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

• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated 2 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆122Updated 5 months ago
• Dicklesworthstone / grassmann_article
  ☆51Updated 10 months ago
• 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
• drio / unixmagic
  Capturing all the details of the classic Usenix Unix poster.
  ☆69Updated 3 weeks ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆145Updated 4 months ago
• karoliskoncevicius / r_notes
  Personal collection of R notes
  ☆192Updated last year
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆96Updated last year
• stefanrodrigues2 / Prolog-Adventure-game
  Text Adventure game in SWI Prolog.
  ☆98Updated last year
• 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 weeks ago
• pveierland / project_euler_offline
  Project Euler problem set compilation
  ☆38Updated 2 years 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 …
  ☆81Updated 4 months ago
• guidoism / tex-oberon
  Make Project Oberon Pretty Again
  ☆193Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆65Updated last month
• xpqz / kbook
  [WIP] A book on the k language.
  ☆45Updated 2 years ago
• pykidos / pykidos.github.io
  🐍 PyKidos: Python visual playground in the browser
  ☆44Updated last year
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆240Updated 2 weeks ago
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆80Updated last month
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 5 months ago
• planetlambert / turing
  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
  ☆45Updated 10 months ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆42Updated 4 months ago
• carloocchiena / the_statistics_handbook
  the statistics handbook open source repository
  ☆263Updated 5 months ago
• photonlines / Learn-R-by-Example
  R script which gives an overview of R through code and code comments.
  ☆18Updated 6 years ago
• agiacalone / cecs-342-lab-prolog
  CECS 342 Lab 4: Logic Languages with SWI-Prolog
  ☆13Updated 3 years 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.
  ☆99Updated 6 years ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆122Updated 3 years ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated last week
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 6 months ago
• zolagonano / a-ninjas-handbook
  A Ninja's Handbook: A book on privacy, security, and anonymity online.
  ☆89Updated 8 months ago