Alternatives and similar repositories for mathlingua

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

• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆245Updated last month
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆157Updated 4 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆206Updated this week
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated last week
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 8 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated 2 months ago
• artagnon / clayoven
  💎 beautiful website generator aimed at math-heavy sites
  ☆330Updated 4 months ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 6 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• eeeeaaii / vodka
  Creative Coding Environment
  ☆126Updated 2 weeks ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 5 months ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• breck7 / copypaster
  Make web forms copy-pasteable.
  ☆100Updated last year
• aztek / awesome-self-reference
  A curated list of examples of self-reference in art, science, and technology
  ☆266Updated last year
• diagrams / diagrams-braille
  Render diagrams to Braille
  ☆29Updated 7 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆137Updated last week
• CodeRibbon / CodeRibbon
  Navigate your code in an infinite timeline of code patches!
  ☆164Updated 2 years ago
• alexcrist / scaler
  A web app that lets you play musical scales according to math equations
  ☆70Updated 4 years ago
• breck7 / 30000hours
  How many hours have you spent practicing programming?
  ☆60Updated 4 years ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆263Updated 2 years ago
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆88Updated last year
• Jeadie / Go-L
  Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)
  ☆59Updated 3 years ago
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆121Updated 3 weeks ago
• dandavison / trogon
  A bird vocalization ID quiz for the species present at any location in the world
  ☆86Updated 4 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 6 years ago