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 this week
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 7 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated last month
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆37Updated last month
• seandenigris / Dynabook
  ☆26Updated 2 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• feenkcom / gtoolkit-examples
  The engine for example-driven development in Pharo.
  ☆12Updated this week
• emdonahue / SmallKanren
  miniKanren in Pharo
  ☆11Updated last year
• j-brant / SmaCC
  ☆29Updated this week
• SquareBracketAssociates / PharoByExample9
  The version of Pharo by Example for Pharo 90
  ☆34Updated last year
• pinneyja / self-interpreter
  ☆19Updated 3 years ago
• cormas / cormas
  CORMAS (COmmon pool Ressources and Multi-Agent Simulations)
  ☆32Updated this week
• jmari / iPharo
  Pharo Smaltalk kernel for Jupyter
  ☆37Updated 3 years ago
• osoco / PharoPDS
  Probabilistic data structures in Pharo Smalltalk.
  ☆30Updated 6 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆47Updated this week
• tangentstorm / jprez
  A presentation tool written in J
  ☆19Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last month
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆19Updated 2 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 3 years ago
• adolfopa / microkanren-pharo
  An implementation of µKanren for Pharo
  ☆12Updated 10 years ago
• pharo-ai / wiki
  The Pharo-AI Wiki
  ☆17Updated 2 weeks ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 6 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆68Updated 3 years ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Updated 4 years ago
• mthom / scryer-shen
  ☆55Updated 6 months ago
• astares / Seaside-Bootstrap5
  Seaside wrapper for Bootstrap 5 on Pharo
  ☆11Updated last year
• dvmason / Pharo-Functional
  Functional support for Pharo
  ☆37Updated last year