minireference / sample-book

Related projects ⓘ

Alternatives and complementary repositories for sample-book

• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆82Updated 5 months ago
• diagrams / diagrams-braille
  Render diagrams to Braille
  ☆29Updated last month
• ltratt / aeschylus
  Auto-Editing ScreenCast system
  ☆75Updated last year
• jpakkane / chapterizer
  A book generator
  ☆23Updated 4 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• zilberas / CarbSync
  Digital Carburetor Synchronizer
  ☆22Updated 4 years ago
• archivy / archivy-hn
  ☆48Updated 3 years ago
• Ducasse / SOUL
  Rescuing the SOUL great logic meta programming language
  ☆12Updated 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.
  ☆78Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 7 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆30Updated last year
• malikpiara / logicola
  LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.
  ☆45Updated this week
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆109Updated 3 months ago
• PlanetAPL / node-apl
  An ancient programming language adapted to a JavaScript-dominated world
  ☆28Updated 10 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆75Updated 4 years ago
• anonx3247 / mathlang
  A simpler syntax for math typesetting written in go, converts to LaTeX math
  ☆27Updated last year
• Dicklesworthstone / grassmann_article
  ☆50Updated 5 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…
  ☆68Updated this week
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• dandavison / trogon
  A bird vocalization ID quiz for the species present at any location in the world
  ☆82Updated 3 years ago
• OpenSocial / spec
  OpenSocial Specification #social
  ☆106Updated 8 years ago
• jeena / TextEd.app
  A replacement of Apples TextEdit.app without RDF and iCloud, it starts much faster.
  ☆34Updated 10 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated this week
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 2 years ago
• susam / pov25
  Ray tracing 25 scenes in 25 days with POV-Ray
  ☆156Updated 6 years ago
• jwr / ccheck
  Simple, easy to use, minimal consistency checker (hasher) for file archives.
  ☆26Updated 3 years ago
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆63Updated 5 years ago
• jamespwilliams / ebnf-shipping-forecast
  EBNF specification of the BBC's shipping forecast
  ☆43Updated 2 years ago
• duzyn / tufte-markdown
  Use markdown to write your handouts or books in Tufte style.
  ☆109Updated last year