Awesome Open Source

Programming Languages

Search results for refinement types

18 search results found

A safe, easy systems language

Refined ⭐ 1,664

Refinement types for Scala

Liquidhaskell ⭐ 1,132

Liquid Types For Haskell

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

Strong type constraints for Scala

Phantom Types ⭐ 171

Phantom types for Python.

A proof assistant that is also a programming language.

Adjective ⭐ 87

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

Play Json Refined ⭐ 25

Play JSON Reads/Writes instances for refined types

Idris Refined ⭐ 15

Port of Scala/Haskell Refined library to Idris

A few extra tools

A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018.

Proper types for your domain

Refined4s ⭐ 7

newtype and refinement (refined) type for Scala 3

Oxid Light ⭐ 6

Prototype functional programming language with refinement types, powered by Inox

Refinement.js ⭐ 5

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

Subtype Refinement ⭐ 5

Refinement types encoded with private types in OCaml. 🙄 🐫 🔬 📚

Related Searches

Scala Refinement Types (10)

Haskell Refinement Types (5)

Functional Programming Refinement Types (5)

Refinement Types Refined (4)

1-18 of 18 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.