intermediate-language topic

List intermediate-language repositories

IL2C

392
Stars
36
Forks
Watchers

IL2C - A translator for ECMA-335 CIL/MSIL to C language.

verified publisher icon kekyo

VTIL-Core

1.3k
Stars
164
Forks
Watchers

Virtual-machine Translation Intermediate Language

verified publisher icon vtil-project

clangir

157
Stars
6
Forks
Watchers

💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.

verified publisher icon facebookarchive

calyx

452
Stars
45
Forks
Watchers

Intermediate Language (IL) for Hardware Accelerator Generators

verified publisher icon calyxir

VM

31
Stars
6
Forks
Watchers

[closed]🔥 virtual machine & assembler-style language 🔥

verified publisher icon ancientproject

carbon-ir

32
Stars
3
Forks
Watchers

The carbon intermediate representation language

verified publisher icon RobbeDGreef

clangir

290
Stars
82
Forks
Watchers

A new (MLIR based) high-level IR for clang.

verified publisher icon llvm

nickel

19
Stars
2
Forks
Watchers

A safe and efficient target language for functional compilers

verified publisher icon exists-forall

KParser

16
Stars
1
Forks
Watchers

.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.

verified publisher icon Colton1skees