susam / mathbLinks
Mathematics pastebin software that powered MathB.in from 2012 to 2025
☆372Updated 6 months ago
Alternatives and similar repositories for mathb
Users that are interested in mathb are comparing it to the libraries listed below
Sorting:
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 7 months ago
- A literate programming system for any language.☆113Updated last year
- Source code of https://susam.net/☆52Updated last week
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluati…☆421Updated 3 weeks ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆104Updated 4 years ago
- tar creator+extractor in ~100 lines of prolog☆262Updated 2 years ago
- The noweb tool for literate programming☆282Updated 11 months ago
- An ngn/k tutorial.☆207Updated last year
- A novel approach to finding your way in APL☆142Updated 3 weeks ago
- Solving the first 100 Project Euler problems using 100 different programming languages!☆240Updated 4 months ago
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆120Updated 3 months ago
- Draw Lindenmayer Systems with Common LISP! -- Trabajo para [7531] Teoría del Lenguaje (FIUBA)☆82Updated 4 years ago
- Working on a handwriting font☆84Updated 4 years ago
- A lisp👽 written in C++☆201Updated last year
- The Principia Rewrite☆227Updated 8 months ago
- A Lisp interpreter implemented in Conway's Game of Life☆466Updated 3 years ago
- the origins of J☆63Updated 2 years ago
- A Unix shell and Lisp REPL, fused together☆260Updated last week
- A mouse driven Emacs☆92Updated 2 years ago
- ☆50Updated 2 years ago
- The standalone Linux Lisp☆348Updated last week
- I used to have PDFs for my books on my web site - I moved them to this public repo.☆312Updated 2 years ago
- Mount Unix system into Common Lisp image☆164Updated last year
- Lisp-Stat main system☆167Updated last month
- Collaborative Lisp coding on Discord☆34Updated last year
- Rewriting Principia Mathematica in Lean☆134Updated 3 weeks ago
- Convert s-expressions input to HTML output.☆49Updated last year
- A static blog website generator written in makefile with various tools.☆59Updated 2 years ago
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year