osj1961 / giam

Related projects ⓘ

Alternatives and complementary repositories for giam

• Dicklesworthstone / grassmann_article
  ☆50Updated 5 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…
  ☆68Updated last month
• kelas / ooj
  the origins of J
  ☆60Updated last year
• guidoism / tex-oberon
  Make Project Oberon Pretty Again
  ☆192Updated 10 months ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated 10 months ago
• briangu / klongpy
  High-Performance Klong array language in Python.
  ☆120Updated 5 months ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆93Updated 8 months ago
• mark-watson / free-older-books-and-software
  I used to have PDFs for my books on my web site - I moved them to this public repo.
  ☆311Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆60Updated 11 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 …
  ☆81Updated 5 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.
  ☆98Updated 5 years ago
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆195Updated 5 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.
  ☆45Updated this week
• planetlambert / turing
  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
  ☆43Updated 5 months ago
• madprops / blog
  I might write stuff here sometimes
  ☆99Updated 3 months ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆91Updated 3 years ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated 9 months ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆235Updated last week
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆123Updated last year
• pladams9 / hexsheets
  A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.
  ☆91Updated 7 months ago
• JosephSBoyle / skip_gram
  ☆36Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆30Updated last year
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 3 years ago
• xpqz / kbook
  [WIP] A book on the k language.
  ☆34Updated 2 years ago
• Amourspirit / python_libre_pythonista_ext
  ☆99Updated this week
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 3 months ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆89Updated last month
• pveierland / project_euler_offline
  Project Euler problem set compilation
  ☆35Updated 2 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• kedlaya / math157
  ☆41Updated 3 years ago