Alternatives and similar repositories for sample-book

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

• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆78Updated 2 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆118Updated 2 months ago
• diagrams / diagrams-braille
  Render diagrams to Braille
  ☆29Updated 9 months 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 last month
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆86Updated 9 months ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆245Updated last week
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆88Updated last year
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• mpw / Objective-Smalltalk
  ☆236Updated 2 months ago
• ltratt / aeschylus
  Auto-Editing ScreenCast system
  ☆75Updated 4 months ago
• BoldContacts / boldcontacts-mobile-app-for-apple
  BoldContacts mobile app for people with visual/cognitive/motor disabilities
  ☆26Updated 11 months ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆71Updated 10 months ago
• simonw / 1991-WWW-NeXT-Implementation
  ☆99Updated last year
• caminadab / metamine
  A new declarative programming language
  ☆24Updated 5 years ago
• defano / wyldcard
  A clone of Apple's HyperCard and HyperTalk scripting language.
  ☆136Updated last year
• MGreim / ultiboberon
  ☆67Updated 3 years ago
• stefanrodrigues2 / Prolog-Adventure-game
  Text Adventure game in SWI Prolog.
  ☆102Updated 2 years ago
• stassa / nests-and-insects
  A Roguelike Tabletop RPG
  ☆60Updated last year
• jaroslov / knuth-plass-thoughts
  Description and implementation of the core Knuth-Plass line-wrapping algorithm.
  ☆168Updated 7 years ago
• pSpaces / Programming-with-Spaces
  Getting started, manuals and tutorials
  ☆56Updated 2 years ago
• ProfJski / FloatCompMandelbrot
  What impact does floating point precision have on Mandelbrot set calculations?
  ☆110Updated 2 years ago
• Bogdanp / remember
  Stash distractions away for later.
  ☆117Updated last year
• rochus-keller / CrossLine
  CrossLine is an outliner with sophisticated cross-link capabilities in the tradition of the well-respected Ecco Pro
  ☆172Updated 2 years ago
• Protospace / doorbell
  ☆12Updated 3 years ago
• LegalizeAdulthood / manx
  Source for the manx vintage computer documentation database.
  ☆34Updated 2 years ago
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆63Updated 2 weeks ago
• susam / pov25
  Ray tracing 25 scenes in 25 days with POV-Ray
  ☆163Updated 7 years ago
• codr7 / swifties
  a custom language construction kit
  ☆12Updated 4 years ago
• data-centric-computing / dcic-public
  Repository for (for now) filing bug reports about DCIC.
  ☆30Updated 5 months ago