Repository Index

A Rust compiler backend targeting CIL(.NET IR) and C.

• backend
• compiler
• csharp
• dotnet

Ahead of time compiler for JVM bytecode targetting iOS, Mac OSX and Linux

• ios
• java
• jvm
• robovm

Multi target HAML (HAML for PHP, Twig, <your language here>)

• haml
• php
• twig
• haml-php

:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS

• programming-language
• language
• programming-paradigms
• repl

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

• formal-verification
• fuzzing
• oss-fuzz
• proofs