Alternatives and similar repositories for SASL:

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

• fare / moll
  My Own Linear Lisp
  ☆38Updated 6 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 4 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated 3 months ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated this week
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆35Updated 2 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 9 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 4 years ago
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 9 years ago
• kragen / urscheme
  ☆21Updated 11 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 10 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆22Updated this week
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• manuel / virtua
  Lisp interpreter with fexprs written in JavaScript
  ☆9Updated 8 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 3 months ago
• racket / draw
  ☆18Updated 2 months ago
• khayyamsaleem / gradual-typing
  an implementation of gradual typing in mit-scheme
  ☆9Updated 3 years ago
• cassowarii / alma
  poetic concatenative programming language
  ☆10Updated 5 months ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆56Updated 8 months ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• namin / blond
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆15Updated last year
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 9 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 12 years ago
• JohnReppy / compiling-pattern-guards
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Updated 2 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago