Copilot: Realtime Programming Language and Runtime Verification Framework

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
#rust-compiler #runtime-verification #Compiler #rv #rust-language

Our great sponsors
  • SonarCloud - Analyze your C and C++ projects with just one click.
  • Onboard AI - Learn any GitHub repo in 59 seconds
  • Revelo Payroll - Free Global Payroll designed for tech teams
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
Our great sponsors

  • copilot

    A stream-based runtime-verification framework for generating hard real-time C code.

    In case you are wondering which copilot came first (I certainly was) - this repository starts in 2010 with a source code upload: https://github.com/Copilot-Language/copilot/commits/b2fc3456...

  • mrustc

    Alternative rust compiler (re-implementation)

    This alternative Rust compiler's intermediate representation is C code, which is then run through another compiler to produce the final output: https://github.com/thepowersgang/mrustc

    Should its author generate Rust from Rust? Would it be better if Copilot produced object files or executables directly, or used eg. LLVM IR?

  • SonarCloud

    Analyze your C and C++ projects with just one click.. SonarCloud, a cloud-based static analysis tool for your CI/CD workflows, offers a one-click automatic analysis of C and C++ projects hosted on GitHub. Zero configuration and free for open-source projects! Analyze free.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts