Alternatives and similar repositories for boxer-sunrise

Users that are interested in boxer-sunrise are comparing it to the libraries listed below

• darius / cant
  A programming argot
  ☆57Updated last year
• powerlang / powerlang
  The Powerlang Bootstrapper
  ☆41Updated 2 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆123Updated 9 months ago
• panicz / grasp
  The GRAphical Scheme Programming Environment
  ☆50Updated last month
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 9 months ago
• AdamSpitz / klein
  A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.
  ☆43Updated 16 years ago
• ccrraaiigg / context
  the Context distribution of the Smalltalk programming language :: live discussion at https://squeak.slack.com
  ☆37Updated last year
• KenDickey / Crosstalk
  Crosstalk: Smalltalk in Scheme -- clean room bootstrap of Smalltalk core
  ☆22Updated 7 months ago
• PDP-10 / Interlisp-10
  ☆19Updated 2 years ago
• Bystroushaak / tinySelf
  Self-like language implemented in the RPython language toolkit.
  ☆31Updated 4 years ago
• shikantaza / pLisp
  Don't Lisp, Talk!
  ☆57Updated last year
• barak / oaklisp
  An object-oriented dialect of Scheme
  ☆61Updated last week
• amno1 / as-powerful-as-possible
  ☆50Updated 2 years ago
• inconvergent / cl-grph
  In-Memory Immutable Graph Structure with Datalog Query Language in Common Lisp
  ☆71Updated last month
• fujita-y / ypsilon
  R7RS/R6RS Scheme Implementation
  ☆64Updated this week
• slburson / PTTP
  Prolog Technology Theorem Prover
  ☆12Updated last year
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆33Updated 3 weeks ago
• projectured / projectured
  ProjecturEd is a generic purpose projectional editor.
  ☆142Updated 3 years ago
• plande / grand-scheme
  The Grand Scheme Glossary
  ☆32Updated 7 months ago
• gmpalter / cl-forth
  Common Lisp implementation of the Forth 2012 Standard
  ☆132Updated 3 weeks ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• stamourv / sexp-diff
  S-expression-aware diffing tool based on Levenshtein-like tree edit distance.
  ☆23Updated 4 years ago
• jar398 / w7
  Hacks related to dissertation
  ☆13Updated 6 years ago
• codefrau / jasmine
  Croquet Jasmine (2004) on SqueakJS
  ☆32Updated 8 months ago
• Interlisp / maiko
  Medley Interlisp virtual machine
  ☆156Updated 2 months ago
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆45Updated 3 months ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Updated 5 years ago
• BSeppke / vigracket
  access (parts of) VIGRA's functionality from Racket
  ☆15Updated 3 years ago
• khinsen / ipfs-pharo
  IPFS interface for Pharo
  ☆24Updated 4 years ago
• actondev / s7-playground
  Try s7 scheme in your browser, powered by WebAssembly
  ☆47Updated 5 years ago