Rust.ko Alternatives

Similar projects and alternatives to rust.ko

• rust

  2,681 92,831 10.0 Rust rust.ko VS rust

  Empowering everyone to build reliable and efficient software.

  

• Rust-for-Linux

  79 3,789 0.0 C rust.ko VS Rust-for-Linux

  Adding support for the Rust language to the Linux kernel. (by Rust-for-Linux)

  

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• koka

  31 3,040 9.8 Haskell rust.ko VS koka

  Koka language compiler and interpreter

  

• dafny

  31 2,665 9.7 C# rust.ko VS dafny

  Dafny is a verification-aware programming language

  

• checkedc

  21 3,183 0.0 C rust.ko VS checkedc

  Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

  

• rust

  7 708 0.0 Rust rust.ko VS rust

  Rust for the xtensa architecture. Built in targets for the ESP32 and ESP8266 (by esp-rs)