Alternatives and similar repositories for lc:

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

• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• miniKanren / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆16Updated 7 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 4 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 3 years ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• bldl / magnolisp
  Magnolisp, a toy programming language
  ☆16Updated last year
• racket / honu
  ☆19Updated last year
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• xanadu-lang / xanadu
  This repository is supposed to hold a released version of Xanadu
  ☆24Updated 3 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆18Updated 12 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• LeifAndersen / racket-to-c
  ☆29Updated 9 years ago
• noelwelsh / assembler
  IA32 assembler in PLT Scheme
  ☆32Updated 14 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 9 years ago
• barak / scheme2c
  Joel Bartlett's fabled Scheme->C system
  ☆82Updated 5 years ago
• dbenoit17 / dynamic-ffi
  Auto define Racket bindings to C by parsing header files.
  ☆29Updated 2 years ago
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated 10 months ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• Conservatory / s7
  s7 Scheme
  ☆58Updated 6 years ago
• imrehg / ypsilon
  The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)
  ☆22Updated 2 years ago
• mflatt / gc-demo
  ☆85Updated 4 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 7 months ago
• racket / frtime
  ☆18Updated 3 weeks ago