Alternatives and similar repositories for sample-book

Users that are interested in sample-book are comparing it to the libraries listed below

• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆86Updated 10 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆78Updated 2 years ago
• malikpiara / logicola
  LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.
  ☆58Updated 2 weeks ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆88Updated last year
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆71Updated 11 months ago
• codr7 / swifties
  a custom language construction kit
  ☆12Updated 4 years ago
• ProfJski / FloatCompMandelbrot
  What impact does floating point precision have on Mandelbrot set calculations?
  ☆111Updated 2 years ago
• Jeadie / Go-L
  Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)
  ☆59Updated 3 years ago
• photonlines / Intuitive-Overview-of-Linear-Algebra-Fundamentals
  An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.
  ☆162Updated 6 years ago
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated 2 months ago
• Dicklesworthstone / grassmann_article
  ☆53Updated last year
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆63Updated 3 weeks ago
• poef / hope
  A render engine and editor for html markup that is stored seperate from the content - out of band - as Ted Nelson would like.
  ☆35Updated 3 years ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆138Updated this week
• pSpaces / Programming-with-Spaces
  Getting started, manuals and tutorials
  ☆56Updated 2 years ago
• stassa / nests-and-insects
  A Roguelike Tabletop RPG
  ☆60Updated last year
• ltratt / aeschylus
  Auto-Editing ScreenCast system
  ☆75Updated 5 months ago
• GavinMendelGleason / excel_as_code
  Blog on excel as code
  ☆118Updated 4 years ago
• simonw / 1991-WWW-NeXT-Implementation
  ☆99Updated last year
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆245Updated this week
• diagrams / diagrams-braille
  Render diagrams to Braille
  ☆29Updated 10 months ago
• jaroslov / knuth-plass-thoughts
  Description and implementation of the core Knuth-Plass line-wrapping algorithm.
  ☆168Updated 7 years ago
• PlanetAPL / node-apl
  An ancient programming language adapted to a JavaScript-dominated world
  ☆28Updated 11 years ago
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆86Updated 8 years ago
• dandavison / trogon
  A bird vocalization ID quiz for the species present at any location in the world
  ☆86Updated 4 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated last month
• Yetangitu / books
  Library Genesis (libgen) CLI/TUI/GUI client (mirror from private repo)
  ☆234Updated 4 years ago
• kelas / ooj
  the origins of J
  ☆63Updated 2 years ago
• christianp / creal.js
  Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation
  ☆18Updated 3 years ago