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
  ☆77Updated 2 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 5 months ago
• ltratt / aeschylus
  Auto-Editing ScreenCast system
  ☆75Updated last week
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆88Updated last year
• melling / SwiftCookBook
  Swift Language Cookbook
  ☆57Updated 4 years ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated last year
• ProfJski / FloatCompMandelbrot
  What impact does floating point precision have on Mandelbrot set calculations?
  ☆108Updated 2 years ago
• susam / pov25
  Ray tracing 25 scenes in 25 days with POV-Ray
  ☆163Updated 7 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 this week
• 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.
  ☆155Updated 6 years ago
• jncraton / connectiongrammar
  This package provides a way to develop text grammars that represent a language of interconnected 3D objects in a Python environment.
  ☆80Updated 2 years ago
• kennethshawfriedman / Toski
  A Prototype Debugging Tool for MIT Scheme
  ☆32Updated 6 years ago
• mpw / Objective-Smalltalk
  ☆228Updated last week
• stefanrodrigues2 / Prolog-Adventure-game
  Text Adventure game in SWI Prolog.
  ☆101Updated 2 years ago
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆45Updated last year
• simonw / 1991-WWW-NeXT-Implementation
  ☆98Updated last year
• agiacalone / cecs-342-lab-prolog
  CECS 342 Lab 4: Logic Languages with SWI-Prolog
  ☆13Updated 3 years ago
• Dicklesworthstone / grassmann_article
  ☆51Updated last year
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆62Updated 5 years ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated 3 weeks ago
• kelas / ooj
  the origins of J
  ☆63Updated 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
  ☆167Updated 2 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆224Updated 7 months ago
• jaroslov / knuth-plass-thoughts
  Description and implementation of the core Knuth-Plass line-wrapping algorithm.
  ☆163Updated 6 years ago
• stassa / nests-and-insects
  A Roguelike Tabletop RPG
  ☆59Updated 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…
  ☆70Updated 6 months ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• archivy / archivy-hn
  ☆48Updated 3 years ago