Skip to content
#

refinement-types

Star

Here are 7 public repositories matching this topic...

Language: Python
Filter by language
All 72 Scala 15 Rust 11 Haskell 7 Python 7 OCaml 5 Java 4 F# 3 Go 3 C# 2 C++ 2
Glass

EgorKhaklin / Glass

Sponsor
Star 2

A pure functional language whose compiler is written in Glass and rebuilds itself to byte-identical C — carrying a from-scratch zk-STARK prover whose proofs are judged by three independent lineages. Write a function, get a proof; exit codes carry the verdict. Research-grade, honestly bounded.

programming-language cryptography interpreter compiler functional-programming pattern-matching algebraic-data-types refinement-types self-hosting type-system hindley-milner type-inference stark zk zero-knowledge fri zero-knowledge-proofs effect-system programming-language-design zk-stark
  • Updated Jun 12, 2026
  • Python

Improve this page

Add a description, image, and links to the refinement-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the refinement-types topic, visit your repo's landing page and select "manage topics."

Learn more