This is stars and forks stats for /Kindelia/Kind repository. As of 03 May, 2024 this repository has 3253 stars and 125 forks.
Kind is a pure functional programming language and proof assistant. Getting started • Examples • Installation Getting started It is a complete rewrite of Kind1, based on HVM, a lazy, non-garbage-collected and massively parallel virtual machine. In our benchmarks, its type-checker outperforms every alternative proof assistant by a far margin, and its programs can offer exponential speedups over Haskell's GHC. Kind2 unleashes the inherent parallelism of the Lambda Calculus to become the ultimate...
Kind is a pure functional programming language and proof assistant. Getting started • Examples • Installation Getting started It is a complete rewrite of Kind1, based on HVM, a lazy, non-garbage-collected and massively parallel virtual machine. In our benchmarks, its type-checker outperforms every alternative proof assistant by a far margin, and its programs can offer exponential speedups over Haskell's GHC. Kind2 unleashes the inherent parallelism of the Lambda Calculus to become the ultimate...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
matrix-org/synapse | PythonRustHTML | 11.4k | 0 | 2.1k | 0 |
babashka/sci | ClojureJavaShell | 1.1k | 0 | 79 | +1 |
dotnet/fsharp | F#Rich Text FormatC# | 3.6k | +4 | 768 | +3 |
influxdata/influxdb | RustShellJava | 26.5k | 0 | 3.4k | 0 |
carp-lang/Carp | HaskellCShell | 5.3k | +4 | 172 | 0 |
agda/agda | HaskellAgdaTeX | 2.2k | +5 | 307 | +1 |
idris-lang/Idris2 | IdrisCScheme | 2.2k | +7 | 346 | 0 |
arrow-kt/arrow | KotlinJava | 5.8k | 0 | 417 | 0 |
ipetkov/crane | NixRustShell | 564 | +2 | 53 | +1 |
coq/coq | OCamlCoqTeX | 4.4k | +7 | 626 | 0 |