Alternatives and similar repositories for mathb

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

• susam / susam.net
  Source code of https://susam.net/
  ☆52Updated last week
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆70Updated 8 months ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆142Updated last month
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆110Updated 4 years ago
• nrnrnr / noweb
  The noweb tool for literate programming
  ☆284Updated last year
• justinmeiners / srcweave
  A literate programming system for any language.
  ☆114Updated last year
• naver / lispe
  An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluati…
  ☆422Updated last month
• woodrush / lambdalisp
  A Lisp interpreter written in untyped lambda calculus
  ☆245Updated 2 years ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆262Updated 2 years ago
• adam-mcdaniel / wisp
  A lisp👽 written in C++
  ☆203Updated last year
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆207Updated last year
• woodrush / lisp-in-life
  A Lisp interpreter implemented in Conway's Game of Life
  ☆466Updated 3 years ago
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆120Updated 3 months ago
• jaredkrinke / 100-languages
  Solving the first 100 Project Euler problems using 100 different programming languages!
  ☆240Updated 5 months ago
• sachac / sachac-hand
  Working on a handwriting font
  ☆84Updated 4 years ago
• kelas / ooj
  the origins of J
  ☆63Updated 2 years 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.
  ☆312Updated 2 weeks ago
• xelxebar / dayaml
  YAML parser for Dyalog APL
  ☆12Updated 2 years ago
• jaroslov / knuth-plass-thoughts
  Description and implementation of the core Knuth-Plass line-wrapping algorithm.
  ☆163Updated 7 years ago
• ozy / makefile-blog
  A static blog website generator written in makefile with various tools.
  ☆59Updated 2 years ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆49Updated 2 years ago
• tlack / b-decoded
  arthur whitney's b interpreter translated into a more traditional flavor of C
  ☆100Updated 7 years ago
• bf-enterprise-solutions / ed.bf
  Infinitely configurable integrated IDE and text editor
  ☆127Updated last year
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated last year
• FdelMazo / cl-aristid
  Draw Lindenmayer Systems with Common LISP! -- Trabajo para [7531] Teoría del Lenguaje (FIUBA)
  ☆82Updated 5 years ago
• xpqz / kbook
  [WIP] A book on the k language.
  ☆49Updated 3 years ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆350Updated last week
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆100Updated last year
• lone-lang / lone
  The standalone Linux Lisp
  ☆350Updated this week