Alternatives and similar repositories for mathb

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

• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆110Updated 4 years ago
• naver / lispe
  An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluati…
  ☆423Updated 2 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…
  ☆70Updated 8 months ago
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated this week
• nrnrnr / noweb
  The noweb tool for literate programming
  ☆284Updated last year
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆144Updated this week
• susam / susam.net
  Source code of https://susam.net/
  ☆52Updated this week
• justinmeiners / srcweave
  A literate programming system for any language.
  ☆117Updated last year
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• sachac / sachac-hand
  Working on a handwriting font
  ☆84Updated 4 years ago
• FdelMazo / cl-aristid
  Draw Lindenmayer Systems with Common LISP! -- Trabajo para [7531] Teoría del Lenguaje (FIUBA)
  ☆82Updated 5 years ago
• neomacs-project / unix-in-lisp
  Mount Unix system into Common Lisp image
  ☆164Updated last year
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆263Updated 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 last month
• adam-mcdaniel / wisp
  A lisp👽 written in C++
  ☆203Updated last year
• jaroslov / knuth-plass-thoughts
  Description and implementation of the core Knuth-Plass line-wrapping algorithm.
  ☆165Updated 7 years ago
• ozy / makefile-blog
  A static blog website generator written in makefile with various tools.
  ☆59Updated 3 years ago
• lone-lang / lone
  The standalone Linux Lisp
  ☆354Updated last month
• seamus-brady / mousemacs
  A mouse driven Emacs
  ☆92Updated 2 years ago
• woodrush / lambdalisp
  A Lisp interpreter written in untyped lambda calculus
  ☆245Updated 2 years ago
• thass0 / liz
  Collaborative Lisp coding on Discord
  ☆34Updated last year
• cosmos72 / schemesh
  A Unix shell and Lisp REPL, fused together
  ☆270Updated this week
• woodrush / lisp-in-life
  A Lisp interpreter implemented in Conway's Game of Life
  ☆469Updated 3 years ago
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆120Updated 2 weeks ago
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆210Updated last year
• phantomics / april
  The APL programming language (a subset thereof) compiling to Common Lisp.
  ☆640Updated 5 months ago
• marcoheisig / Petalisp
  Elegant High-Performance Computing
  ☆512Updated 5 months ago
• racket / zuo
  A tiny Racket for scripting
  ☆303Updated 4 months ago
• jaredkrinke / 100-languages
  Solving the first 100 Project Euler problems using 100 different programming languages!
  ☆241Updated 6 months ago
• Boruch-Baum / emacs-crossword
  Play/Download crossword puzzles in Emacs
  ☆67Updated 4 years ago