Alternatives and similar repositories for sgb

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

• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 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…
  ☆32Updated 4 years ago
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆43Updated last week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 months ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆53Updated last year
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆86Updated 2 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last week
• metamath / metamath-book
  Source of metamath book
  ☆51Updated 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 7 years ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆35Updated 2 months ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆186Updated 5 years ago
• FredMesnard / lptp
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's
  ☆13Updated last month
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated 2 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆18Updated 3 years ago
• ascherer / sgb
  Stanford GraphBase
  ☆34Updated 3 weeks ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 8 years ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆209Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 3 weeks ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆171Updated 3 weeks ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆34Updated 4 years ago
• Dyalog / pynapl
  Dyalog APL ←→ Python interface
  ☆79Updated 8 months ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated 3 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year