refinement-types
Here are 33 public repositories matching this topic...
A safe, easy systems language
-
Updated
Feb 18, 2023 - Rust
Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
-
Updated
Feb 12, 2023 - Python
Strong type constraints for Scala
-
Updated
Feb 18, 2023 - Scala
Phantom types for Python.
-
Updated
Feb 14, 2023 - Python
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
-
Updated
Nov 14, 2020 - Scala
A proof assistant that is also a programming language.
-
Updated
Feb 18, 2023 - Rust
Play JSON Reads/Writes instances for refined types
-
Updated
Feb 7, 2023 - Scala
Port of Scala/Haskell Refined library to Idris
-
Updated
Apr 25, 2021 - Idris
Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
-
Updated
May 16, 2020 - Haskell
Refinement types encoded with private types in OCaml.
-
Updated
Oct 18, 2020 - OCaml
Simple Refinement types for F#. No longer maintained.
-
Updated
Jun 22, 2019 - F#
Prototype functional programming language with refinement types, powered by Inox
-
Updated
Jun 13, 2018 - Scala
Introductory Tutorial on Refinement Types
-
Updated
Jun 5, 2021 - JavaScript
Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
-
Updated
Jun 11, 2018 - JavaScript
Refinement types for Python
-
Updated
Oct 4, 2021 - 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.
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."