A set of type providers for F# that aims to implement an approximation of refinement types.
-
Updated
Jun 30, 2020 - F#
A set of type providers for F# that aims to implement an approximation of refinement types.
Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
Implementations of data structures from Okasaki's "Purely Functional Data Structures" verified using LiquidHaskell
Refinement types for Python
Toy Scala project to study some cool Functional Programming concepts (version 1 was in Java)
A refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions
ReTHFL: Ξ½HFL(Z) (aka higher-order CHC) solver based on refinement types
Constrain or Compose on the fly your .NET Types.
Simple Refinement types for F#. No longer maintained.
Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
No-macro, no-reflection, opinionated type refinement library for Scala 3
Proper types for your domain
Refinement types encoded with private types in OCaml. π π« π¬ π
Prototype functional programming language with refinement types, powered by Inox
Add a description, image, and links to the refinement-types topic page so that developers can more easily learn about it.
To associate your repository with the refinement-types topic, visit your repo's landing page and select "manage topics."