WhileyCompiler
Compiler
Compiles Whiley source files into an intermediate language
The Whiley Compiler (WyC)
219 stars
16 watching
36 forks
Language: Java
last commit: almost 2 years ago compilerlanguageverificationwhiley
Related projects:
| Repository | Description | Stars |
|---|---|---|
 lwiest/basiccompiler | Compiles BASIC programs into Java bytecode. | 29 |
 aalhour/pycoolc | A compiler for the COOL programming language targeting the MIPS 32-bit architecture and implemented in Python 3 | 40 |
 lys-lang/lys | A language compiler to WebAssembly | 419 |
 delta456/monkey_v | An implementation of a programming language interpreter in V. | 38 |
 jserv/mazucc | A minimal C compiler generating x86_64 assembly code | 516 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 30 |
 ljulliar/rlang | A compiler that converts a Ruby-like language into efficient WebAssembly code | 38 |
 barn-lang/barn | A simple programming language written in C that is compiled to C. | 54 |
 valelang/vale | A compiler for a programming language designed to be fast, memory-safe, and easy to use | 1,787 |
 vlm/asn1c | Compiles ASN.1 definitions into C code for serialization and deserialization of data files. | 1,051 |
 jaseemabid/olifant | A language targeting LLVM with the goal of building a simple compiler | 64 |
 mikelma/oktac | A compiler for an experimental programming language called Okta | 28 |
 wyhaines/defined.cr | Provides macros and facilities to check constants and make code conditionally compileable at runtime | 17 |
 vexu/arocc | A compiler written in Zig to translate C code into machine-specific binary code | 1,138 |
 belijzajac/wisnialang | A compiler that compiles small programs into tiny Linux binaries without requiring LLVM. | 16 |