Alternatives and similar repositories for sisal-is

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

• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• kwantam / lviv
  stack-based RPN functional programming language
  ☆53Updated 7 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• NVIDIA / remorac
  ☆39Updated 9 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 2 months ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆40Updated last year
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated 2 years ago
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 6 years ago
• briantrice / slate-language
  The Slate programming language
  ☆147Updated last year
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 5 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 6 years ago
• sparist / Om
  The Om programming language.
  ☆173Updated 8 months ago
• plaidgroup / plaid-lang
  The Plaid Programming Language Tools
  ☆12Updated 10 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• suhr / wcpl
  ☆16Updated 7 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 2 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆19Updated 9 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 4 months ago
• AnyDSL / impala
  An imperative and functional programming language
  ☆153Updated last month
• nojb / llvm-tiger
  A compiler for the Tiger programming language targeting LLVM
  ☆13Updated 8 years ago
• proebsting / goaldi
  ☆35Updated 6 months ago