-
-
-
-
-
rhombus-prototype Public
Forked from racket/rhombusBrainstorming and draft proposals for Rhombus
Racket Other UpdatedMay 31, 2024 -
-
-
-
-
hvm-core-serialization Public
Forked from HigherOrderCO/hvm-core-serializationRust UpdatedMay 21, 2024 -
-
-
-
HVM Public
Forked from HigherOrderCO/HVMA massively parallel, optimal functional runtime in Rust
Cuda Apache License 2.0 UpdatedMay 20, 2024 -
kind Public
Forked from HigherOrderCO/kind2-archiveTemporary repository for Kind2's refactor based on HVM2
Rust UpdatedMay 19, 2024 -
Bend Public
Forked from HigherOrderCO/BendA massively parallel, high-level programming language
Rust Apache License 2.0 UpdatedMay 19, 2024 -
-
-
-
Kind1 Public
Forked from HigherOrderCO/KindA next-gen functional language
Rust MIT License UpdatedMay 17, 2024 -
Kindex Public
Forked from HigherOrderCO/KindexCollection of Kind2 programs and proofs
Other UpdatedMay 17, 2024 -
-
release-catalog Public
Forked from racket/release-catalogCatalog for Racket release candiate and final release builds
Racket Other UpdatedMay 14, 2024 -
-
simple-tree-text-markup Public
Forked from racket/simple-tree-text-markupRacket Other UpdatedMay 14, 2024 -
-
-
-
-
{{ message }}