Skip to content
Change the repository type filter

All

    Repositories list

    • HVM4

      Public
      C
      22841012Updated Mar 20, 2026Mar 20, 2026
    • bench

      Public
      Benchmarks for HVM and Bend
      TypeScript
      0500Updated Mar 18, 2026Mar 18, 2026
    • HVM3

      Public
      HVM3
      Haskell
      MIT License
      2728170Updated Jan 29, 2026Jan 29, 2026
    • Bend

      Public
      A massively parallel, high-level programming language
      Rust
      Apache License 2.0
      47719k977Updated Jun 3, 2025Jun 3, 2025
    • Kind

      Public
      A modern proof language
      Haskell
      MIT License
      1503.7k34Updated Jan 22, 2025Jan 22, 2025
    • HVM2

      Public
      A massively parallel, optimal functional runtime in Rust
      Cuda
      Apache License 2.0
      43611k4412Updated Nov 21, 2024Nov 21, 2024
    • HVM1

      Public
      A massively parallel, optimal functional runtime in Rust
      Rust
      MIT License
      4363110Updated Aug 7, 2024Aug 7, 2024
    • .github

      Public
      7200Updated Jun 28, 2024Jun 28, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.