Alternatives and similar repositories for history-of-mathematics:

Users that are interested in history-of-mathematics are comparing it to the libraries listed below

• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• 5outh / chaosbox
  A framework for generative art.
  ☆60Updated 4 years ago
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆82Updated 2 years ago
• silky / fashion
  repo for fashion business/ideas/etc.
  ☆22Updated 5 years ago
• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆47Updated last month
• prathyvsh / notation
  Repo to track the evolution of notation in arts and sciences
  ☆138Updated 2 years ago
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated 2 years ago
• living-room / turing
  programmable space at Recurse Center
  ☆53Updated last year
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆25Updated 3 years ago
• marianoguerra / future-of-coding-weekly
  repository to work on future of coding weekly newsletter
  ☆32Updated this week
• prathyvsh / nature-of-thought
  Catalogue on the nature and bounds of thought
  ☆27Updated 2 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆67Updated 2 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• alexwarth / sutherland
  ☆14Updated this week
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆15Updated 6 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• kaBeech / tensort
  Tunable sorting for responsive robustness and beyond
  ☆17Updated last month
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• pdubroy / ohm-som
  A JavaScript implementation of SOM, a minimal Smalltalk for teaching and research.
  ☆17Updated last year
• szymonkaliski / muninn-old
  set of utilities helping me build and navigate my personal flat-file markdown wiki
  ☆16Updated 4 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 5 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• LingDong- / srcsnap
  screenshot-driven version tracking
  ☆22Updated 2 years ago
• namin / reflection-schemes
  exploration of reflective architectures in Scheme
  ☆20Updated 2 years ago
• jeffreyguenther / alternatives-reading-list
  A reading list of of papers on alternatives and subjunctive interfaces
  ☆11Updated 9 years ago
• micahhahn / FunctionalGeometry
  A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
  ☆26Updated 8 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated last month