bakkot / cfgrammar-tool

Related projects ⓘ

Alternatives and complementary repositories for cfgrammar-tool

• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆61Updated 3 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆206Updated this week
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆234Updated 2 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆102Updated 5 months ago
• fred-wang / TeXZilla
  LALR Javascript LaTeX-to-MathML converter compatible with Unicode
  ☆130Updated 2 weeks ago
• pi-base / data
  A community database of topological counterexamples
  ☆72Updated this week
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆186Updated 5 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 5 years ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆47Updated last year
• openwebwork / pg
  Problem rendering engine for WeBWorK
  ☆46Updated last week
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆115Updated this week
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆60Updated last year
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆515Updated 3 weeks ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• formalabstracts / formalabstracts
  ☆159Updated 5 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆220Updated this week
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 2 years ago
• rchurchley / erdos-bacon-sabbath
  An open-source celebration of creative academics & academic creatives
  ☆11Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 7 months ago
• paperscape / paperscape-backend
  Backend map and tile generation and webserver for the Paperscape map
  ☆46Updated 6 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆94Updated 2 months ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆292Updated 8 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆72Updated 2 months ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago
• brownplt / code.pyret.org
  Website for serving Pyret to folks.
  ☆24Updated this week
• mathjax / MathJax-demos-node
  A repository with examples using mathjax-v3 in NodeJS
  ☆98Updated 4 months ago
• EdAyers / Robotone
  The 'Robot' theorem prover. Fork of github.com/mg262/research
  ☆12Updated 4 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆27Updated 3 weeks ago