Alternatives and similar repositories for foxscheme

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

• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• imrehg / ypsilon
  The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)
  ☆22Updated 3 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆21Updated 10 years ago
• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 years ago
• soegaard / minipascal
  MiniPascal implemented in Racket
  ☆92Updated 4 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 13 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆10Updated 4 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆35Updated 8 months ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 4 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆66Updated 10 years ago
• carlohamalainen / pysecd
  Python interpreter for Peter Landin's SECD abstract machine.
  ☆42Updated 12 years ago
• flavioc / cl-meld
  Meld compiler written in Common Lisp
  ☆13Updated 9 years ago
• noelwelsh / assembler
  IA32 assembler in PLT Scheme
  ☆32Updated 15 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• melvinzhang / bit-scheme
  BIT: A Very Compact Scheme System for Microcontrollers
  ☆43Updated 9 years ago
• zick / kashiwa
  Scheme Compiler based on Henry Baker's Cheney on the M.T.A. concept
  ☆23Updated 14 years ago
• etaoins / llambda
  Scheme R7RS frontend for LLVM
  ☆69Updated 7 years ago
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 4 years ago
• racket / algol60
  ☆13Updated 2 months ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 14 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• EarlGray / SECD
  Scheme on SECD
  ☆43Updated 4 years ago
• carl-eastlund / dracula
  ☆10Updated 9 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• webyrd / cato
  Concatenative relational interpreter in miniKanren
  ☆22Updated 10 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆86Updated 4 years ago
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆18Updated 12 years ago