Functional-Benchmarks Alternatives
Similar projects and alternatives to Functional-Benchmarks
-
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
-
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 better Functional-Benchmarks alternative or higher similarity.
Functional-Benchmarks reviews and mentions
Posts with mentions or reviews of Functional-Benchmarks.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-03-17.
-
First (1/5) steps with HVM, A massively parallel, optimal functional runtime in Rust
By leveraging HVM's speed and paralelism, Kind manages to be faster than all the big name proof assistants.
-
HVM, the parallel functional runtime, will soon run on GPUs!
I agree. Keep in mind our language (Kind-Lang) does target the HVM, and it is really promising. The type-checker is the fastest among proof assistants, by far; the error messages are really nice; it has a fully dependent type system which is a breath of fresh air to work with. It is still not production ready though (mostly due to lack of IO), but is the extend of our effort on that direction. We hope other lang developers get encouraged to target the HVM to. Elm and Idris are great candidates for that IMO.
Stats
Basic Functional-Benchmarks repo stats
3
32
4.2
11 months ago
The primary programming language of Functional-Benchmarks is Lean.
Popular Comparisons
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com