Alternatives and similar repositories for sgb:

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

• ascherer / cweb
  Literate Programming in C/C++
  ☆89Updated this week
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆31Updated this week
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆142Updated 4 months ago
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆45Updated last week
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 10 months ago
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆42Updated last week
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆100Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆34Updated last year
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 5 months ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 11 months ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆48Updated 2 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆42Updated 4 months ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆59Updated 7 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated last year
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 10 months ago
• theartofcomputerprogramming / mmixsamples
  Sample code in MMIX assembly language
  ☆11Updated 3 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆86Updated 2 years ago
• Dyalog / MDAPL
  The de facto standard for people who are looking to learn Dyalog APL from a book. This updated version is a work in progress.
  ☆34Updated 2 years ago
• the-carlisle-group / Dado
  DevOps for Dyalog APL
  ☆16Updated 3 months ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆50Updated 4 months ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated this week
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated last week
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆59Updated last year
• motib / LearnSAT
  SAT solver for education
  ☆26Updated 2 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated 3 weeks ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• a-yiorgos / wambook
  Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
  ☆57Updated 5 years ago