refinement-types

There are 6 repositories under refinement-types topic.

• jfecher / ante

  A safe, easy systems language

  antecompilerlanguagellvmrefinement-typessystems-language
  Language:Rust 1841

• fthomas / refined

  Refinement types for Scala

  refinement-typesscalatypelevel
  Language:Scala 1683

• ucsd-progsys / liquidhaskell

  Liquid Types For Haskell

  haskellrefinement-typessmtverification
  Language:Haskell 1151

• life4 / deal

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

  contractscontracts-programmingdbcdealdecoratorsdesign-by-contractflake8functional-programminghacktoberfestinterfaceinvariantlintermypyproperty-based-testingpythonpythonicrefinement-typestestingtypingvalidation
  Language:Python 698

• flux-rs / flux

  Refinement Types for Rust

  refinement-typesrust
  Language:Rust 558

• Iltotore / iron

  Strong type constraints for Scala

  assertfunctional-programmingrefinement-typesscalatypes
  Language:Scala 408

• antonagestam / phantom-types

  Phantom types for Python.

  mypyphantom-typespythonpython3refinedrefined-typesrefinement-typesstatic-analysisstatic-typingtypingvalidation
  Language:Python 183
• LSTS

  andrew-johnson-4 / LSTS

  Large Scale Type Systems (programming language)

  asttype-checkingtheorem-proverrustcategory-theoryerror-reportinglexerlintparserlambda-calculuslambda-calculus-interpreterassisted-reasoningproof-assistantdependent-typesrefinement-typescompilerlanguagelsts
  Language:Rust 99

• vivri / Adjective

  Programming is an exercise in linguistics; spice-up Scala types with Adjective.

  refinement-typesrefinementconstraint-satisfactionvalidation
  Language:Scala 92

• mrkkrp / facts

  Refined types

  haskellrefinement-types
  Language:Haskell 58

• avdv / play-json-refined

  Play JSON Reads/Writes instances for refined types

  jsonrefinement-typesscala
  Language:Scala 24

• sigma-andex / idris-refined

  Port of Scala/Haskell Refined library to Idris

  idrisrefinement-typesrefineddependent-typessigma
  Language:Idris 15

• fangyi-zhou / FluidTypes

  Simple Refinement types for F#. No longer maintained.

  fsharprefinement-types
  Language:F# 11

• gvolpe / types-matter

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

  haskellnewtypesrefinedrefinement-typestypes
  Language:Haskell 10

• marcoonroad / subtype-refinement

  Refinement types encoded with private types in OCaml. :roll_eyes: :camel: :microscope: :books:

  ocamlrefinement-types
  Language:OCaml 10

• ustitc / krefty

  Proper types for your domain

  refinement-typeskotlintypesvalue-objectrefineddddarrow
  Language:Kotlin 9

• ucsd-progsys / intro-refinement-types

  Introductory Tutorial on Refinement Types

  refinement-typesliquidhaskellhaskellsmt
  Language:JavaScript 8

• espetro / refined

  Refinement types for Python

  pythonpython3type-hintsrefinement-typeshacktoberfest
  Language:Python 7

• kevin-lee / refined4s

  newtype and refinement (refined) type for Scala 3

  functional-programmingnewtyperefinedrefined-typesrefinementrefinement-typesscala
  Language:Scala 7

• romac / oxid-light

  Prototype functional programming language with refinement types, powered by Inox

  refinement-typesinoxsoftware-verification
  Language:Scala 7

• john-h-kastner / liquid-structures

  Implementations of data structures from Okasaki's "Purely Functional Data Structures" verified using LiquidHaskell

  datastructureshaskellliquidhaskellrefinement-typesverification
  Language:Haskell 5

• overlogged / refinement.js

  Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.

  javascriptstatic-analysisgradual-typingrefinement-types
  Language:JavaScript 5

• Kuinox / ConstrainedComposite

  Constrain or Compose on the fly your .NET Types.

  compositerefinement-typestype-safety
  Language:C# 4

• henoc / regex-refined

  Refinement types for regex

  regexrefinement-typesscala
  Language:Java 3

• programaker / Joguin2

  Toy Scala project to study some cool Functional Programming concepts (version 1 was in Java)

  catscats-effectcats-freefree-monadsfunctional-programmingopticsproperty-based-testingrefinement-typesscalascalafmtwartremover
  Language:Scala 2

• typeness / spray-json-refined

  spray-json instances for refined library

  scalarefinement-typesjson
  Language:Scala 2

• xebia-functional / refine_types_scala3

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

  dddrefinement-typesscala3
  Language:Scala 2

• aggieben / ConstrainedTypes

  A set of type providers for F# that aims to implement an approximation of refinement types.

  fsharprefinement-typestype-providers
  Language:F# 1

• makiftutuncu / as

  No-macro, no-reflection, opinionated type refinement for Scala, powered by e

  scalasbtrefinementrefinement-types
  Language:Scala 1

• mazuninky / refinement

  Refinement types implementation in go

  gogolangrefinement-typesvalidation
  Language:Go 1

• valentinHenry / refined

  Refinement types for Go

  gorefinement-typesrefined
  Language:Go 1

• yummly / validaze

  Hiccup-inspired DSL implementation of refinement types for validating JSON data.

  clojureclojure-specrefinement-typeshiccupdsl
  Language:Clojure 1

• 0918nobita / liquid-hs

  LiquidHaskell examples

  haskellliquidhaskellrefinement-typesexamples
  Language:Haskell

• hopv / rethfl

  ReTHFL: νHFL(Z) (aka higher-order CHC) solver based on refinement types

  constrained-horn-clausesprogram-verificationrefinement-types
  Language:OCaml

• mzacho / refinement-types

  A refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions

  logicrefinement-typestypechecker
  Language:OCaml

• sh0hei / refined-scalikejdbc

  scalatypelevelrefinement-types
  Language:Scala