Alternatives and similar repositories for Diagrammatic:

Users that are interested in Diagrammatic are comparing it to the libraries listed below

• gjoncas / Artificial-Philosophy
  m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…
  ☆28Updated 4 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated last month
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 8 months ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆17Updated 4 years ago
• drever / ct-consciousness
  ☆15Updated 8 months ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• jeffreyguenther / alternatives-reading-list
  A reading list of of papers on alternatives and subjunctive interfaces
  ☆11Updated 9 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last month
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆39Updated this week
• constraint-systems / hex
  Hex is a keyboard-driven, grid-based drawing tool.
  ☆18Updated 4 years ago
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆33Updated 5 years ago
• kragen / dercuano
  a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…
  ☆15Updated 3 years ago
• saltvedt / explore-sep
  Visualizing the Stanford Encyclopedia of Philosophy
  ☆21Updated 7 years ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆20Updated last year
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 6 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆71Updated 2 weeks ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆55Updated this week
• fbanados / research-howto
  Notes about research.
  ☆8Updated 3 years ago
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆25Updated last year
• otherjoel / splitflap
  🔖⚛️ RSS / Atom feed generation library for Racket
  ☆22Updated 6 months ago
• gjoncas / Artsy-Diagrams
  Creative diagrams in Ti𝑘Z
  ☆11Updated 3 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 3 months ago
• enkiv2 / ggc
  Generative Grammar Compiler
  ☆19Updated 8 years ago
• szymonkaliski / muninn
  set of utilities helping me build and navigate my personal flat-file markdown wiki
  ☆19Updated 2 years ago
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• prathyvsh / notation
  Repo to track the evolution of notation in arts and sciences
  ☆138Updated 2 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated last week
• mbutterick / pollen-tuftorial
  Pollen tutorial based on Tufte CSS
  ☆15Updated 3 years ago
• AABoyles / LessWrong-Portable
  Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
  ☆43Updated 11 months ago