Alternatives and similar repositories for sisal-is

Users that are interested in sisal-is are comparing it to the libraries listed below

• suhr / wcpl
  ☆16Updated 7 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 8 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• NVIDIA / remorac
  ☆38Updated 9 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 6 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆9Updated last month
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆40Updated 11 months ago
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• plaidgroup / plaid-lang
  The Plaid Programming Language Tools
  ☆12Updated 10 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 8 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆43Updated 5 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• dobesv / charity
  Charity Programming Language
  ☆39Updated 10 years ago
• EarlGray / SECD
  Scheme on SECD
  ☆42Updated 4 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• kwantam / lviv
  stack-based RPN functional programming language
  ☆53Updated 7 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• melsman / aplparse
  APL parser written in Standard ML
  ☆19Updated 8 years ago