refinement-types
There are 39 repositories under refinement-types topic.
jfecher/ante
A safe, easy systems language
fthomas/refined
Refinement types for Scala
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
life4/deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
flux-rs/flux
Refinement Types for Rust
Iltotore/iron
Strong type constraints for Scala
antonagestam/phantom-types
Phantom types for Python.
andrew-johnson-4/LSTS
Large Scale Type Systems (programming language)
vivri/Adjective
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
tomoikey/refined_type
`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.
mrkkrp/facts
Refined types
avdv/play-json-refined
Play JSON Reads/Writes instances for refined types
sigma-andex/idris-refined
Port of Scala/Haskell Refined library to Idris
fangyi-zhou/FluidTypes
Simple Refinement types for F#. No longer maintained.
gvolpe/types-matter
Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
kevin-lee/refined4s
newtype and refinement (refined) type for Scala 3
marcoonroad/subtype-refinement
Refinement types encoded with private types in OCaml. :roll_eyes: :camel: :microscope: :books:
espetro/refined
Refinement types for Python
ustitc/krefty
Proper types for your domain
ucsd-progsys/intro-refinement-types
Introductory Tutorial on Refinement Types
romac/oxid-light
Prototype functional programming language with refinement types, powered by Inox
john-h-kastner/liquid-structures
Implementations of data structures from Okasaki's "Purely Functional Data Structures" verified using LiquidHaskell
Kuinox/ConstrainedComposite
Constrain or Compose on the fly your .NET Types.
overlogged/refinement.js
Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
henoc/regex-refined
Refinement types for regex
programaker/Joguin2
Toy Scala project to study some cool Functional Programming concepts (version 1 was in Java)
typeness/spray-json-refined
spray-json instances for refined library
xebia-functional/refine_types_scala3
Repository that explores the possibilities of Scala 3 features of opaque types and inline for type refinement.
aggieben/ConstrainedTypes
A set of type providers for F# that aims to implement an approximation of refinement types.
makiftutuncu/as
No-macro, no-reflection, opinionated type refinement library for Scala 3
mazuninky/refinement
Refinement types implementation in go
valentinHenry/refined
Refinement types for Go
yummly/validaze
Hiccup-inspired DSL implementation of refinement types for validating JSON data.
hopv/rethfl
ReTHFL: νHFL(Z) (aka higher-order CHC) solver based on refinement types
mzacho/refinement-types
A refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions
slemus9/sprite-lang-scala
Implementation of a language with Refinement Types