Alternatives and similar repositories for mathb

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

• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆264Updated 2 years ago
• bf-enterprise-solutions / ed.bf
  Infinitely configurable integrated IDE and text editor
  ☆125Updated 8 months ago
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆141Updated 3 weeks ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years 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 3 months ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆101Updated 4 years ago
• Lisp-Stat / lisp-stat
  Lisp-Stat main system
  ☆164Updated 3 months ago
• justinmeiners / srcweave
  A literate programming system for any language.
  ☆111Updated last year
• phantomics / april
  The APL programming language (a subset thereof) compiling to Common Lisp.
  ☆626Updated last week
• naver / lispe
  An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluati…
  ☆416Updated 2 weeks ago
• woodrush / lisp-in-life
  A Lisp interpreter implemented in Conway's Game of Life
  ☆463Updated 3 years ago
• calyau / maxima
  Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)
  ☆110Updated 4 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆132Updated 7 months ago
• thass0 / liz
  Collaborative Lisp coding on Discord
  ☆34Updated last year
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆101Updated last month
• ciel-lang / CIEL
  CIEL Is an Extended Lisp. Scripting with batteries included.
  ☆387Updated last month
• neomacs-project / unix-in-lisp
  Mount Unix system into Common Lisp image
  ☆165Updated 9 months ago
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆84Updated last year
• Shinmera / talks
  Documents related to talks I gave or will give
  ☆43Updated last month
• LogicalAtomist / principia
  The Principia Rewrite
  ☆223Updated 4 months ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆142Updated last year
• chkas / easylang
  An easy programming language that runs in the browser
  ☆189Updated 2 weeks ago
• racket / zuo
  A tiny Racket for scripting
  ☆292Updated 2 months ago
• kspalaiologos / kamilalisp
  A functional, flexible and concise Lisp.
  ☆288Updated last year
• atgreen / openldk
  A JIT Compiler and Runtime for Java in Common Lisp
  ☆217Updated last week
• cosmos72 / schemesh
  A Unix shell and Lisp REPL, fused together
  ☆236Updated 3 weeks ago
• FdelMazo / cl-aristid
  Draw Lindenmayer Systems with Common LISP! -- Trabajo para [7531] Teoría del Lenguaje (FIUBA)
  ☆82Updated 4 years ago
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆116Updated 3 months ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆98Updated last year
• susam / susam.net
  Source code of https://susam.net/
  ☆45Updated this week