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

InfluxDB
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
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?

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

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