https://github.com/jfecher/ante

A safe, easy systems language

ante compiler language llvm refinement-types systems-language

Last synced: 14 May 2025

https://github.com/fthomas/refined

Refinement types for Scala

refinement-types scala typelevel

Last synced: 13 May 2025

https://github.com/ucsd-progsys/liquidhaskell

Liquid Types For Haskell

haskell refinement-types smt verification

Last synced: 18 Jan 2026

https://github.com/life4/deal

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

contracts contracts-programming dbc deal decorators design-by-contract flake8 functional-programming hacktoberfest interface invariant linter mypy property-based-testing python pythonic refinement-types testing typing validation

Last synced: 26 Mar 2025

https://github.com/flux-rs/flux

Refinement Types for Rust

refinement-types rust

Last synced: 03 Apr 2025

https://github.com/Iltotore/iron

Strong type constraints for Scala

assert functional-programming refinement-types scala types

Last synced: 27 Mar 2025

https://github.com/antonagestam/phantom-types

Phantom types for Python.

mypy phantom-types python python3 refined refined-types refinement-types static-analysis static-typing typing validation

Last synced: 22 Sep 2025

https://github.com/andrew-johnson-4/LSTS

Large Scale Type Systems (programming language)

assisted-reasoning ast category-theory compiler dependent-types error-reporting lambda-calculus lambda-calculus-interpreter language lexer lint lsts parser proof-assistant refinement-types rust theorem-prover type-checking

Last synced: 13 Apr 2025

https://github.com/andrew-johnson-4/lsts

Large Scale Type Systems (programming language)

assisted-reasoning ast category-theory compiler dependent-types error-reporting lambda-calculus lambda-calculus-interpreter language lexer lint lsts parser proof-assistant refinement-types rust theorem-prover type-checking

Last synced: 07 Apr 2025

https://github.com/tomoikey/refined_type

`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.

crate crates-io library refined-types refinement-types runtime-validation rust rust-lang safety static-typing type-library validation

Last synced: 11 Sep 2025

https://github.com/mrkkrp/facts

Refined types

haskell refinement-types

Last synced: 16 Mar 2025

https://github.com/avdv/play-json-refined

Play JSON Reads/Writes instances for refined types

json refinement-types scala

Last synced: 15 Dec 2025

https://github.com/kevin-lee/refined4s

newtype and refinement (refined) type for Scala 3

functional-programming newtype refined refined-types refinement refinement-types scala

Last synced: 28 Dec 2025

https://github.com/gvolpe/types-matter

Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual

haskell newtypes refined refinement-types types

Last synced: 21 Jul 2025

https://github.com/ucsd-progsys/intro-refinement-types

Introductory Tutorial on Refinement Types

haskell liquidhaskell refinement-types smt

Last synced: 14 Apr 2025

https://github.com/romac/oxid-light

Prototype functional programming language with refinement types, powered by Inox

inox refinement-types software-verification

Last synced: 06 Sep 2025

https://github.com/henoc/regex-refined

Refinement types for regex

refinement-types regex scala

Last synced: 03 Apr 2025

https://github.com/typeness/spray-json-refined

spray-json instances for refined library

json refinement-types scala

Last synced: 14 Jan 2026

https://github.com/xebia-functional/refine_types_scala3

Repository that explores the possibilities of Scala 3 features of opaque types and inline for type refinement.

ddd refinement-types scala3

Last synced: 28 Oct 2025

https://github.com/makiftutuncu/as

No-macro, no-reflection, opinionated type refinement library for Scala 3

refinement refinement-types sbt scala

Last synced: 06 Apr 2025

https://github.com/slemus9/sprite-lang-scala

Implementation of a language with Refinement Types

refinement-types scala smt

Last synced: 24 Mar 2025

https://github.com/todesking/prety

Refinement types for Scala

liquid-types refinement-types scala

Last synced: 02 Mar 2025

https://github.com/sh0hei/refined-scalikejdbc

refinement-types scala typelevel

Last synced: 20 Jul 2025

https://github.com/rvarago/cpp_refined

*EXPERIMENTAL* Types + Predicates in C++, sort-of

cpp cpp20-library refinement-types type-driven-development

Last synced: 12 Sep 2025