Alternatives and similar repositories for GtMetamath

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

• shingarov / MachineArithmetic
  A mathematical foundation for Smalltalk-25
  ☆18Updated last month
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 6 months ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated this week
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 8 years ago
• jmari / iPharo
  Pharo Smaltalk kernel for Jupyter
  ☆37Updated 3 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated this week
• pharo-ai / wiki
  The Pharo-AI Wiki
  ☆17Updated last year
• j-brant / SmaCC
  ☆30Updated this week
• harp-lab / slog-lang1
  Slog 1.0
  ☆45Updated last year
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆37Updated 2 weeks ago
• mthom / scryer-shen
  ☆56Updated 5 months ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• hernanwilkinson / LiveTyping
  ☆43Updated 2 weeks ago
• seandenigris / Dynabook
  ☆26Updated last month
• activepapers / activepapers-pharo
  Pharo edition of ActivePapers
  ☆21Updated 4 years ago
• emdonahue / SmallKanren
  miniKanren in Pharo
  ☆11Updated last year
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆162Updated 8 months ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆139Updated 7 years ago
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 2 years ago
• cormas / cormas
  CORMAS (COmmon pool Ressources and Multi-Agent Simulations)
  ☆32Updated last month
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 3 weeks ago
• guillermoamaral / Webside
  Smalltalk IDE implemented using React and Material-UI
  ☆56Updated last week
• mighty-gerbils / gerbil-poo
  Prototype Object Orientation for Gerbil Scheme
  ☆24Updated last month
• pinneyja / self-interpreter
  ☆19Updated 3 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Updated 4 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆32Updated 2 years ago
• badetitou / Pharo-LanguageServer
  A Language Server Protocol implementation in Pharo
  ☆32Updated this week
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆28Updated 2 weeks ago