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
  ☆17Updated last week
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated 2 weeks ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆35Updated 3 months ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 3 weeks ago
• tangentstorm / jprez
  A presentation tool written in J
  ☆19Updated last year
• SquareBracketAssociates / PharoByExample9
  The version of Pharo by Example for Pharo 90
  ☆32Updated 10 months ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated 2 weeks ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• f5devcentral / shapeRank
  ☆47Updated 3 years ago
• khinsen / GT-Zotero
  Zotero client for the Glamorous Toolkit
  ☆12Updated 2 years ago
• jmari / iPharo
  Pharo Smaltalk kernel for Jupyter
  ☆38Updated 2 years ago
• magritte-metamodel / magritte
  The Magritte Meta-Model
  ☆67Updated 2 months ago
• mthom / scryer-shen
  ☆54Updated 2 months ago
• pharo-ai / wiki
  The Pharo-AI Wiki
  ☆16Updated last year
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆158Updated 5 months ago
• webyrd / imperishable-wonderland
  An Imperishable Wonderland of Infinite Fun
  ☆10Updated last year
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆115Updated 3 months ago
• emdonahue / SmallKanren
  miniKanren in Pharo
  ☆10Updated last year
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 2 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆143Updated 3 months ago
• coentjo / agile-ai-in-pharo
  Source Code for 'Agile Artificial Intelligence in Pharo' by Alexandre Bergel
  ☆13Updated this week
• j-brant / SmaCC
  ☆28Updated last week
• dvmason / Pharo-Functional
  Functional support for Pharo
  ☆37Updated 10 months ago
• seandenigris / Dynabook
  ☆25Updated last month
• GemTalk / Rowan
  a new project/package manager for Smalltalk that supports FileTree and Tonel repositories, and is independent of Monticello and Metacello
  ☆17Updated this week
• hernanwilkinson / LiveTyping
  ☆42Updated last month
• activepapers / activepapers-pharo
  Pharo edition of ActivePapers
  ☆21Updated 4 years ago
• pinneyja / self-interpreter
  ☆19Updated 3 years ago