refinement-types

There are 8 repositories under refinement-types topic.

• jfecher / ante

  A safe, easy systems language

  antecompilerlanguagellvmrefinement-typessystems-language
  Language:Rust 2166

• fthomas / refined

  Refinement types for Scala

  refinement-typesscalatypelevel
  Language:Scala 1724

• ucsd-progsys / liquidhaskell

  Liquid Types For Haskell

  haskellrefinement-typessmtverification
  Language:Haskell 1266

• life4 / deal

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

  pythoncontractsinvariantcontracts-programmingdecoratorsfunctional-programmingdesign-by-contractpythonicdealvalidationinterfacelinterflake8property-based-testingdbcmypytypingrefinement-typestestinghacktoberfest
  Language:Python 844

• flux-rs / flux

  Refinement Types for Rust

  refinement-typesrust
  Language:Rust 793

• Iltotore / iron

  Strong type constraints for Scala

  typesassertscalafunctional-programmingrefinement-types
  Language:Scala 535

• antonagestam / phantom-types

  Phantom types for Python.

  phantom-typesstatic-analysismypypythonstatic-typingtypingrefined-typesrefinement-typesrefinedpython3validation
  Language:Python 226
• LSTS

  Lambda-Mountain-Compiler-Backend / LSTS

  Large Scale Type Systems: ML/C Hybrid Programming Language

  assisted-reasoningastcategory-theorycompilerdependent-typeserror-reportinglambda-calculuslambda-calculus-interpreterlexerlintlstsparserprogramming-languageproof-assistantrefinement-typesrusttheorem-provertype-checking
  124

• vivri / Adjective

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

  refinement-typesrefinementconstraint-satisfactionvalidation
  Language:Scala 91

• tomoikey / refined_type

  `refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.

  cratecrates-iolibraryrustrust-langrefined-typesruntime-validationtype-libraryvalidationrefinement-typessafetystatic-typing
  Language:Rust 75

• mrkkrp / facts

  Refined types

  haskellrefinement-types
  Language:Haskell 57

• 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 17

• kevin-lee / refined4s

  newtype and refinement (refined) type for Scala 3

  functional-programmingnewtyperefinedrefined-typesrefinementrefinement-typesscalascalajsscala-native
  Language:Scala 14

• fangyi-zhou / FluidTypes

  Simple Refinement types for F#. No longer maintained.

  fsharprefinement-types
  Language:F# 11

• espetro / refined

  Refinement types for Python

  pythonpython3type-hintsrefinement-typeshacktoberfest
  Language:Python 10

• gvolpe / types-matter

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

  typeshaskellrefinednewtypesrefinement-types
  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 10

• romac / oxid-light

  Prototype functional programming language with refinement types, powered by Inox

  refinement-typesinoxsoftware-verification
  Language:Scala 8

• ucsd-progsys / intro-refinement-types

  Introductory Tutorial on Refinement Types

  refinement-typesliquidhaskellhaskellsmt
  Language:JavaScript 8

• john-h-kastner / liquid-structures

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

  haskellrefinement-typesverificationdatastructuresliquidhaskell
  Language:Haskell 6

• Kuinox / ConstrainedComposite

  Constrain or Compose on the fly your .NET Types.

  compositerefinement-typestype-safety
  Language:C# 5

• overlogged / refinement.js

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

  gradual-typingjavascriptrefinement-typesstatic-analysis
  Language:JavaScript 5

• henoc / regex-refined

  Refinement types for regex

  regexrefinement-typesscala
  Language:Java 3

• jarosado0911 / refactoredCPPNeuronMesher

  A project for manipulating neuron geometries

  cppcpp17cubic-splinesinterpolationjupyter-notebookmeshmesh-generationneuronneuronspython3refinementrefinement-typessplinespline-interpolationsplines
  Language:C++ 3

• typeness / spray-json-refined

  spray-json instances for refined library

  scalarefinement-typesjson
  Language:Scala 3

• programaker / Joguin2

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

  scalafree-monadscats-freeproperty-based-testingwartremoverfunctional-programmingrefinement-typescatsscalafmtopticscats-effect
  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.

  refinement-typesscala3ddd
  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

• hopv / rethfl

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

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

• makiftutuncu / as

  No-macro, no-reflection, opinionated type refinement library for Scala 3

  scalasbtrefinementrefinement-types
  Language:Scala 1

• mazuninky / refinement

  Refinement types implementation in go

  refinement-typesgogolangvalidation
  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

• rvarago / cpp_refined

  *EXPERIMENTAL* Types + Predicates in C++, sort-of

  cppcpp20-libraryrefinement-typestype-driven-development
  Language:C++