Alternatives and similar repositories for mathb

Users that are interested in mathb 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…
  ☆70Updated 6 months ago
• justinmeiners / srcweave
  A literate programming system for any language.
  ☆112Updated last year
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• susam / susam.net
  Source code of https://susam.net/
  ☆54Updated this week
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆142Updated last month
• nrnrnr / noweb
  The noweb tool for literate programming
  ☆279Updated 10 months ago
• naver / lispe
  An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluati…
  ☆419Updated 2 months ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆263Updated 2 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆224Updated 7 months ago
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆206Updated last year
• jaroslov / knuth-plass-thoughts
  Description and implementation of the core Knuth-Plass line-wrapping algorithm.
  ☆162Updated 6 years ago
• sachac / sachac-hand
  Working on a handwriting font
  ☆84Updated 4 years ago
• bf-enterprise-solutions / ed.bf
  Infinitely configurable integrated IDE and text editor
  ☆125Updated 10 months ago
• jaredkrinke / 100-languages
  Solving the first 100 Project Euler problems using 100 different programming languages!
  ☆241Updated 3 months ago
• FdelMazo / cl-aristid
  Draw Lindenmayer Systems with Common LISP! -- Trabajo para [7531] Teoría del Lenguaje (FIUBA)
  ☆82Updated 4 years ago
• ozy / makefile-blog
  A static blog website generator written in makefile with various tools.
  ☆59Updated 2 years ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆101Updated 4 years ago
• xelxebar / dayaml
  YAML parser for Dyalog APL
  ☆12Updated last year
• thass0 / liz
  Collaborative Lisp coding on Discord
  ☆34Updated last year
• alefore / edge
  Edge - a text editor
  ☆81Updated last week
• racket / zuo
  A tiny Racket for scripting
  ☆297Updated last month
• kelas / ooj
  the origins of J
  ☆63Updated 2 years ago
• adam-mcdaniel / wisp
  A lisp👽 written in C++
  ☆202Updated last year
• lone-lang / lone
  The standalone Linux Lisp
  ☆324Updated last week
• woodrush / lisp-in-life
  A Lisp interpreter implemented in Conway's Game of Life
  ☆465Updated 3 years ago
• eudoxia0 / eudoxia0.github.io
  Personal website
  ☆23Updated 2 weeks ago
• needleful / c_plus_prolog
  C plus Prolog
  ☆164Updated 5 months ago
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆120Updated last month
• tlack / b-decoded
  arthur whitney's b interpreter translated into a more traditional flavor of C
  ☆99Updated 7 years ago
• cjquines / qboard
  The efficient digital whiteboard.
  ☆84Updated 2 years ago