Explore projects

C

skitzml / compiler

A skitz compiler, made to compile mincaml as a University project.

0

Updated Jan 30, 2020

0 0 0 0

Updated Jan 30, 2020
C

CertiCompil / CompCert-KVX
GNU Lesser General Public License v2.1 only

A version of CompCert with
extra optimization a backend for the Kalray KVX core

2

Updated Nov 16, 2022

2 0 0 0

Updated Nov 16, 2022
C

CertiCompil / CompCert-IntrinSec
GNU General Public License v2.0 or later

1

Updated Jan 22, 2022

1 0 0 0

Updated Jan 22, 2022
C

CertiCompil / chamois-test
GNU General Public License v2.0 or later

0

Updated Aug 29, 2024

0 0 0 0

Updated Aug 29, 2024
C

CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 only

Verimag's fork of CompCert

Formally Ver... Ocaml Coq
+ 1 more

3

Updated Apr 29, 2024

3 0 0 0

Updated Apr 29, 2024
B

Bashar Awada / Bytecoders

Working in a compiler project using java

0

Updated Jan 27, 2022

0 0 0 0

Updated Jan 27, 2022

Prev