Alternatives and similar repositories for sgb

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

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• metamath / metamath-book
  Source of metamath book
  ☆53Updated 2 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆31Updated 4 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆91Updated last month
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆37Updated last week
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆129Updated last year
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆196Updated last week
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆15Updated 8 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆273Updated last year
• ascherer / sgb
  Stanford GraphBase
  ☆37Updated last week
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 6 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆41Updated 7 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated 3 weeks ago
• codyroux / broad-coq-tutorial
  Some unstructured notes concerning the Broad tutorial to take place in March 2020
  ☆32Updated 4 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years ago
• ascherer / cweb
  Literate Programming in C/C++
  ☆100Updated last week
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆117Updated last year
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆39Updated 7 months ago
• wrandelshofer / CubeTwister
  Companion software for Rubik's Cube like puzzles.
  ☆18Updated 3 weeks ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 6 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆75Updated 7 months ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆30Updated 12 years ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated last week
• padsproj / pads
  Pads format description language
  ☆21Updated 10 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated last month