Alternatives and similar repositories for sample-book

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

• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 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.
  ☆52Updated last week
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 5 months ago
• Jeadie / Go-L
  Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)
  ☆59Updated 2 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 6 months ago
• ltratt / aeschylus
  Auto-Editing ScreenCast system
  ☆75Updated 3 weeks ago
• Dicklesworthstone / grassmann_article
  ☆52Updated last year
• diagrams / diagrams-braille
  Render diagrams to Braille
  ☆29Updated 5 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• jackinloadup / lunatic-fringe
  Lunatic Fringe is a game originally distributed as an AfterDark screensaver
  ☆92Updated 6 months 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
• ProfJski / FloatCompMandelbrot
  What impact does floating point precision have on Mandelbrot set calculations?
  ☆108Updated 2 years ago
• rrampage / wart
  A simple Web Assembly Interpreter
  ☆16Updated last year
• simonw / 1991-WWW-NeXT-Implementation
  ☆99Updated last year
• asciitosvg / asciitosvg
  Create beautiful SVG renderings of ASCII diagrams.
  ☆214Updated 2 years ago
• susam / pov25
  Ray tracing 25 scenes in 25 days with POV-Ray
  ☆163Updated 7 years ago
• guidoism / tex-oberon
  Make Project Oberon Pretty Again
  ☆198Updated last year
• PlanetAPL / node-apl
  An ancient programming language adapted to a JavaScript-dominated world
  ☆28Updated 11 years ago
• everydayanchovies / eink-vnc
  ☆142Updated 9 months ago
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆120Updated 2 months ago
• stefanrodrigues2 / Prolog-Adventure-game
  Text Adventure game in SWI Prolog.
  ☆101Updated 2 years ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated last year
• archivy / archivy-hn
  ☆48Updated 3 years ago
• ridiculousfish / shelob
  Angband on the web
  ☆29Updated 4 years ago
• berwynhoyt / wordstar-keys
  Implement wordstar cursor control keys in linux using xkb
  ☆42Updated 2 months ago
• stassa / nests-and-insects
  A Roguelike Tabletop RPG
  ☆59Updated last year
• dandavison / trogon
  A bird vocalization ID quiz for the species present at any location in the world
  ☆85Updated 4 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• tanyafish / parachute
  Educational activities to do with the code hidden on the parachute of the JPL/NASA Perseverance Rover mission
  ☆129Updated 4 years ago
• pveierland / project_euler_offline
  Project Euler problem set compilation
  ☆39Updated 3 years ago