Repositories list

• HVM3

  Public
  HVM3

  Haskell

  •

  MIT License

  •21•232•7•4•Updated Aug 4, 2025Aug 4, 2025

• Bend2

  Public
  Bend2 - WIP

  Haskell

  •

  MIT License

  •9•122•14•2•Updated Aug 1, 2025Aug 1, 2025

• WanShi

  Public
  a lib

  Python

  •3•9•0•1•Updated Jul 31, 2025Jul 31, 2025

• hs-highlight

  Public
  Haskell

  •

  MIT License

  •2•4•0•0•Updated Jul 26, 2025Jul 26, 2025

• Bend

  Public
  A massively parallel, high-level programming language

  Rust

  •

  Apache License 2.0

  •468•19k•95•5•Updated Jun 3, 2025Jun 3, 2025

• HVM3-Strict

  Public
  C

  •

  MIT License

  •2•7•2•1•Updated Apr 23, 2025Apr 23, 2025

• Kind

  Public
  A modern proof language

  dependent-typesfunctional-programminglambda-calculus+ 6type-theorytheorem-proverformalitymoonadproof-languageproof-languages

  Haskell

  •

  MIT License

  •146•3.7k•3•4•Updated Jan 22, 2025Jan 22, 2025

• kindbook

  Public
  C

  •3•52•0•0•Updated Jan 5, 2025Jan 5, 2025

• enumerator

  Public
  0•6•0•0•Updated Dec 2, 2024Dec 2, 2024

• HVM

  Public
  A massively parallel, optimal functional runtime in Rust

  Cuda

  •

  Apache License 2.0

  •426•11k•44•13•Updated Nov 21, 2024Nov 21, 2024

• bend-language-server

  Public
  Language server for the Bend programming language

  Rust

  •

  MIT License

  •4•16•3•0•Updated Oct 18, 2024Oct 18, 2024

• tree-sitter-bend

  Public
  Bend grammar for tree-sitter.

  JavaScript

  •

  Other

  •1•8•0•0•Updated Oct 18, 2024Oct 18, 2024

• agda-cli

  Public
  Check agda commands from your terminal

  JavaScript

  •3•3•0•0•Updated Oct 7, 2024Oct 7, 2024

• kind2-archive

  Public
  Temporary repository for Kind2's refactor based on HVM2

  Rust

  •28•281•2•3•Updated Sep 25, 2024Sep 25, 2024

• HVM1

  Public
  A massively parallel, optimal functional runtime in Rust

  Rust

  •

  MIT License

  •426•31•1•0•Updated Aug 7, 2024Aug 7, 2024

• TSPL

  Public
  The Simplest Parser Library (that works) in Rust

  Rust

  •4•44•0•1•Updated Aug 6, 2024Aug 6, 2024

• Kind-Legacy

  Public
  A modern proof language

  JavaScript

  •

  MIT License

  •146•7•0•0•Updated Jul 20, 2024Jul 20, 2024

• Kind2-old

  Public archive
  A next-gen functional language

  Rust

  •

  MIT License

  •146•2•0•0•Updated Jun 28, 2024Jun 28, 2024

• .github

  Public
  6•2•0•0•Updated Jun 28, 2024Jun 28, 2024

• hvm-64

  Public
  Rust

  •

  Apache License 2.0

  •35•495•1•0•Updated Jun 11, 2024Jun 11, 2024

• hvm-core-serialization

  Public
  Rust

  •7•3•0•0•Updated Jun 5, 2024Jun 5, 2024

• hvm-bench

  Public
  Rust

  •0•2•0•0•Updated May 24, 2024May 24, 2024

• Kindex

  Public archive
  Collection of Kind2 programs and proofs

  Other

  •8•12•3•1•Updated May 17, 2024May 17, 2024

• hvm-compare-perf

  Public
  Compare `hvm-core`'s historical performance

  Rust

  •1•2•0•0•Updated Apr 1, 2024Apr 1, 2024

• ICVM-lazy

  Public
  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

  Rust

  •

  MIT License

  •63•5•0•0•Updated Aug 1, 2023Aug 1, 2023

• ICVM

  Public
  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

  Rust

  •

  MIT License

  •63•6•0•1•Updated Jul 3, 2023Jul 3, 2023

• HOP

  Public
  Lightweight, higher-order parser in Rust.

  Rust

  •6•12•0•0•Updated Feb 4, 2023Feb 4, 2023

• FormCoreJS

  Public
  A minimal pure functional language based on self dependent types.

  JavaScript

  •12•73•0•3•Updated May 11, 2022May 11, 2022