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 this week
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 5 months ago
• j-brant / SmaCC
  ☆30Updated last week
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 7 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆72Updated last month
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆33Updated last week
• SquareBracketAssociates / PharoByExample9
  The version of Pharo by Example for Pharo 90
  ☆33Updated last year
• feenkcom / gtoolkit-examples
  The engine for example-driven development in Pharo.
  ☆12Updated last week
• cormas / cormas
  CORMAS (COmmon pool Ressources and Multi-Agent Simulations)
  ☆33Updated this week
• pharo-ai / wiki
  The Pharo-AI Wiki
  ☆17Updated last year
• emdonahue / SmallKanren
  miniKanren in Pharo
  ☆11Updated last year
• mthom / scryer-shen
  ☆56Updated 4 months ago
• seandenigris / Dynabook
  ☆25Updated last week
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Updated 4 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated this week
• tangentstorm / jprez
  A presentation tool written in J
  ☆19Updated last year
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆40Updated 2 years ago
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 2 years ago
• osoco / PharoPDS
  Probabilistic data structures in Pharo Smalltalk.
  ☆29Updated 6 years ago
• samdphillips / rhombus-examples
  Some code in the Rhombus/Shrubbery prototype
  ☆12Updated 9 months ago
• activepapers / activepapers-pharo
  Pharo edition of ActivePapers
  ☆21Updated 4 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 6 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• adolfopa / microkanren-pharo
  An implementation of µKanren for Pharo
  ☆12Updated 10 years ago
• theoremprover-museum / LCF77
  The original Edinburgh LCF.
  ☆33Updated 8 years ago
• squeak-smalltalk / squeaknews
  Web player for SqueakNews e-zine (2001)
  ☆19Updated 5 years ago
• stchang / macrotypes
  ☆138Updated 3 years ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆33Updated 2 months ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago