flux-rs/flux

Refinement Types for Rust

Language: Rust - Size: 133 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 741 - Forks: 23

Iltotore/iron

Strong type constraints for Scala

Language: Scala - Size: 1.47 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 520 - Forks: 56

fthomas/refined

Refinement types for Scala

Language: Scala - Size: 3.61 MB - Last synced at: 4 days ago - Pushed at: 19 days ago - Stars: 1,722 - Forks: 153

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

Language: Haskell - Size: 57.8 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 1,244 - Forks: 147

Lambda-Mountain-Compiler-Backend/LSTS

Large Scale Type Systems (programming language)

Size: 1.22 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 124 - Forks: 3

avdv/play-json-refined

Play JSON Reads/Writes instances for refined types

Language: Scala - Size: 307 KB - Last synced at: 4 days ago - Pushed at: 18 days ago - Stars: 24 - Forks: 6

antonagestam/phantom-types

Phantom types for Python.

Language: Python - Size: 2.11 MB - Last synced at: 7 days ago - Pushed at: 27 days ago - Stars: 219 - Forks: 9

kevin-lee/refined4s

newtype and refinement (refined) type for Scala 3

Language: Scala - Size: 4.57 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 10 - Forks: 2

jfecher/ante

A safe, easy systems language

Language: Rust - Size: 38.6 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2,055 - Forks: 92

life4/deal

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

Language: Python - Size: 1.95 MB - Last synced at: 30 days ago - Pushed at: about 1 month ago - Stars: 797 - Forks: 31

rvarago/cpp_refined

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

Language: C++ - Size: 34.2 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

typeness/spray-json-refined

spray-json instances for refined library

Language: Scala - Size: 97.7 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

tomoikey/refined_type

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

Language: Rust - Size: 337 KB - Last synced at: 27 days ago - Pushed at: 7 months ago - Stars: 74 - Forks: 1

xebia-functional/refine_types_scala3

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

Language: Scala - Size: 170 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 2

espetro/refined

Refinement types for Python

Language: Python - Size: 7.81 KB - Last synced at: 15 days ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 1

hopv/rethfl

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

Language: OCaml - Size: 1.63 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

mrkkrp/facts

Refined types

Language: Haskell - Size: 35.2 KB - Last synced at: 16 days ago - Pushed at: almost 7 years ago - Stars: 57 - Forks: 3

slemus9/sprite-lang-scala

Implementation of a language with Refinement Types

Language: Scala - Size: 60.5 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

mazuninky/refinement 📦

Refinement types implementation in go

Language: Go - Size: 29.3 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

vivri/Adjective

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

Language: Scala - Size: 76.2 KB - Last synced at: 21 days ago - Pushed at: over 4 years ago - Stars: 91 - Forks: 5

makiftutuncu/as

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

Language: Scala - Size: 32.2 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 1 - Forks: 0

john-h-kastner/liquid-structures

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

Language: Haskell - Size: 536 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0

sh0hei/refined-scalikejdbc

Language: Scala - Size: 5.86 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

ustitc/krefty

Proper types for your domain

Language: Kotlin - Size: 221 KB - Last synced at: about 1 hour ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 1

mzacho/refinement-types

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

Language: OCaml - Size: 446 KB - Last synced at: 8 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 1

ucsd-progsys/intro-refinement-types

Introductory Tutorial on Refinement Types

Language: JavaScript - Size: 41.9 MB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 8 - Forks: 1

fangyi-zhou/FluidTypes 📦

Simple Refinement types for F#. No longer maintained.

Language: F# - Size: 292 KB - Last synced at: 7 months ago - Pushed at: about 6 years ago - Stars: 11 - Forks: 0

marcoonroad/subtype-refinement

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

Language: OCaml - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 10 - Forks: 1

aggieben/ConstrainedTypes

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

Language: F# - Size: 66.4 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

sigma-andex/idris-refined 📦

Port of Scala/Haskell Refined library to Idris

Language: Idris - Size: 23.4 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 15 - Forks: 2

yummly/validaze 📦

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

Language: Clojure - Size: 53.7 KB - Last synced at: 23 days ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1

Kuinox/ConstrainedComposite

Constrain or Compose on the fly your .NET Types.

Language: C# - Size: 35.2 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

valentinHenry/refined

Refinement types for Go

Language: Go - Size: 5.86 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

0918nobita/liquid-hs

LiquidHaskell examples

Language: Haskell - Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

programaker/Joguin2

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

Language: Scala - Size: 495 KB - Last synced at: 8 months ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

gvolpe/types-matter

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

Language: Haskell - Size: 34.2 KB - Last synced at: 4 days ago - Pushed at: about 5 years ago - Stars: 10 - Forks: 0

romac/oxid-light

Prototype functional programming language with refinement types, powered by Inox

Language: Scala - Size: 6.84 KB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 7 - Forks: 1

henoc/regex-refined

Refinement types for regex

Language: Java - Size: 166 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1

todesking/PReTy

Refinement types for Scala

Language: Scala - Size: 237 KB - Last synced at: 27 days ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

overlogged/refinement.js

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

Language: JavaScript - Size: 10.6 MB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 5 - Forks: 0