combinatorylogic / mbase

Related projects ⓘ

Alternatives and complementary repositories for mbase

• combinatorylogic / clike
  A simple C-like language compiler with an extensible syntax and typed macros support
  ☆127Updated 3 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆210Updated last year
• softdevteam / eco
  Editor for language composition
  ☆56Updated last year
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆65Updated 9 years ago
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 6 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆152Updated 3 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 3 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆180Updated 9 months ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆102Updated 8 months ago
• rongarret / Ciel
  A Lisp-like language implemented in C++
  ☆74Updated last year
• projectured / projectured
  ProjecturEd is a generic purpose projectional editor.
  ☆138Updated 2 years ago
• namin / staged-miniKanren
  staged relational interpreters: running with holes, faster
  ☆125Updated this week
• fare / moll
  My Own Linear Lisp
  ☆36Updated 6 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 2 years ago
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆100Updated 2 months ago
• etaoins / llambda
  Scheme R7RS frontend for LLVM
  ☆69Updated 6 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 9 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 12 years ago
• epsil / gll
  General Parser Combinators in Racket
  ☆195Updated 8 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 9 years ago
• kimtg / arcadia
  An implementation of the Arc programming language
  ☆198Updated 4 months ago
• takikawa / sweet-racket
  A port of sweet expressions to Racket
  ☆47Updated last year
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 7 years ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆163Updated 12 years ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆144Updated last year
• Conservatory / s7
  s7 Scheme
  ☆54Updated 5 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 3 years ago
• EarlGray / SECD
  Scheme on SECD
  ☆42Updated 3 years ago
• shikantaza / pLisp
  Don't Lisp, Talk!
  ☆58Updated 6 months ago