SaaSHub helps you find the best software and product alternatives Learn more →
Kind Alternatives
Similar projects and alternatives to kind
-
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.
-
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
Functional-Benchmarks
Collection of benchmarks of functional programming languages and proof assistants.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
kind reviews and mentions
- Kind: A lambda-calculus based pure programming language
-
Can one use lambda calculus as an IR?
Depending on what you mean by practical it already is! https://github.com/HigherOrderCO/Kind HVM was developed to be an efficient backend for the Kind language from the same folks
-
First (1/5) steps with HVM, A massively parallel, optimal functional runtime in Rust
One thing that you can use right now is Kind, a functional language and proof assistant.
-
Brett Slatkin: Why am I building a new functional programming language?
Hey, that's pretty cool! The lang that targets this runtime is https://github.com/HigherOrderCO/Kind
-
A note from our sponsor - SaaSHub
www.saashub.com | 31 May 2024
Stats
HigherOrderCO/kind is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of kind is Rust.
Sponsored