Hello Letlang! My programming language targeting Rust

• fleet

  17 2,415 2.9 Rust

  🚀 The blazing fast build tool for Rust. (by dimensionhq)

  

Since each Letlang module compiles to a single crate, crates are very small and their build can be parallelized quite easily (see https://github.com/dimensionhq/fleet). My hypothesis is that this will help reduce build time.

• magmide

  22 804 6.9 Coq

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  

I would love to play around with a compiled language with as powerful a compile-time type system/proof assistant as Lean or Coq. I saw some early work in the Rust realm here: https://github.com/magmide/magmide

• 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.

  

Suggest a related project