First (1/5) steps with HVM, A massively parallel, optimal functional runtime in Rust

• hvmcc

  1 21 10.0 Rust
  

Hey, I'm one of the devs currently working in the JS/Python to HVM transpiler. Very cool blog post series, and I think you would love to play with it. It is far away from being production ready, but any support is appreciated! :)

• llvm-project

  349 25,563 10.0 C++

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  

I think it's beautiful that this is drawing a complementary parallel to LLVM's real name. LLVM itself has become such a household name that many people never need to think about the fact it stands for Low Level Virtual Machine. Even the project's own front page no longer mentions it, though it does link to the research paper which does. [1]

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

  

• Kind

  4 3,438 4.8 Rust

  A next-gen functional language (by HigherOrderCO)

  

One thing that you can use right now is Kind, a functional language and proof assistant.

• Functional-Benchmarks

  3 32 4.2 Lean

  Collection of benchmarks of functional programming languages and proof assistants.

  

By leveraging HVM's speed and paralelism, Kind manages to be faster than all the big name proof assistants.

Suggest a related project