Explore Projects

Discover 3 open source projects

Active filters (1):

Search: refinement-types×

Showing 1-3 of 3 projects

A safe, easy systems language built in Rust with a focus on refinement types and LLVM backend.

2.2K

Active

Rust

CLI Tools

API Frameworks

#compiler#language#llvm

A Scala library that provides refinement types, enabling developers to express and verify complex constraints.

1.7K

Active

Scala

API Clients & Testing

Linters & Formatters

#refinement-types#scala#typelevel

Liquid Haskell is a verification system that adds dependent types and refinement types to the Haskell language.

1.3K

Active

Haskell

Testing

API Frameworks

Haskell

#haskell#verification#refinement-types

Get weekly updates on trending AI coding tools and projects.