lvc

Similar projects

Found by comparing what the projects do, not just their names.

• certicoq/certicoq137

  C compiler

  A compiler for a subset of the C language that can be compiled with any standard C compiler, used in formal verification and proof assistance.

• absint/compcert1.9K

  C compiler

  A formally verified compiler for a subset of C that generates code for multiple architectures.

• mit-plv/rupicola51

  Compiler toolkit

  A toolkit for compiling functional programs into imperative code for performance-critical applications

• mustafaquraish/cup295

  Compiler project

  A simple, C-like programming language compiler written in Rust to learn the basics of compilers and language processing

• cxxxr/valtan243

  Compiler

  A compiler that translates Common Lisp code into JavaScript

• pa-ba/calc-comp30

  Compiler formalism

  Formalizations of compiler design and virtual machine calculations in Coq

• l1mey112/crepl29

  Compiler

  A compiler and interpreter for executing C code on the fly as it is typed.

• nilfoundation/zkllvm304

  Compiler

  Compiles high-level programming languages into input for provable computations protocols.

• yubrot/llrl156

  Compiler project

  An experimental compiler for a Lisp-like programming language with a focus on self-hosting and compilation to LLVM backend.

• huynhtrankhanh/coqcp22

  Code verification project

  Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof

• exokomodo/daybreak10

  Compiler project

  A compiler project to create an interpretable language that compiles to native C code

• covscript/covscript227

  Programming interpreter

  An open-source interpreter for a cross-platform programming language designed to make programming easier

• vellvm/vellvm405

  Compiler verifier

  A formal verification project of the LLVM compiler's semantics using Coq proof assistant.

• saman-pasha/lcc26

  Compiler toolkit

  A Lisp-like compiler and toolset for writing C code with additional features

• terrajobst/minsk1.1K

  Compiler project

  An implementation of a compiler in C# that showcases basic concepts of compiler construction and language tooling.