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 last month
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆18Updated 3 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 8 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆177Updated 3 weeks ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• 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
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆90Updated 2 weeks ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated last year
• ganeshutah / Jove
  ☆74Updated 11 months ago
• ascherer / cweb
  Literate Programming in C/C++
  ☆96Updated last week
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆44Updated this week
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆37Updated last week
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 3 weeks ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• ashermancinelli / cxbqn
  BQN virtual machine
  ☆31Updated last year
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆60Updated 6 months ago
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆45Updated 7 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆36Updated 10 months ago
• FredMesnard / LPTP
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's
  ☆14Updated 3 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆92Updated 2 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago