#
refinement-types
Here are 24 public repositories matching this topic...
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
-
Updated
Nov 14, 2020 - Scala
Play JSON Reads/Writes instances for refined types
-
Updated
Dec 17, 2020 - Scala
Port of Scala/Haskell Refined library to Idris
-
Updated
Dec 28, 2017 - Idris
Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
-
Updated
May 16, 2020 - Haskell
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
Refinement types encoded with private types in OCaml. 🙄 🐫 🔬 📚
-
Updated
Oct 18, 2020 - OCaml
Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
-
Updated
Jun 11, 2018 - JavaScript
Introductory Tutorial on Refinement Types
-
Updated
Jul 14, 2019 - JavaScript
Toy Scala project to study some cool Functional Programming concepts (version 1 was in Java)
cats
scala
functional-programming
property-based-testing
refinement-types
optics
wartremover
free-monads
scalafmt
cats-effect
cats-free
-
Updated
Dec 2, 2020 - Scala
Implementations of data structures from Okasaki's "Purely Functional Data Structures" verified using LiquidHaskell
-
Updated
Jun 16, 2019 - Haskell
A set of type providers for F# that aims to implement an approximation of refinement types.
-
Updated
Jun 30, 2020 - F#
Hiccup-inspired DSL implementation of refinement types for validating JSON data.
-
Updated
Feb 11, 2020 - Clojure
No-macro, no-reflection, opinionated type refinement for Scala, powered by e
-
Updated
Dec 16, 2020 - Scala
My experiment on adding refinement types and dependent types to Python
-
Updated
Nov 20, 2020 - Python
-
Updated
Jan 30, 2019 - Scala
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."