A safe, easy systems language
-
Updated
Nov 11, 2024 - Rust
#
refinement-types
Here are 39 public repositories matching this topic...
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
python testing validation interface functional-programming linter decorators typing property-based-testing flake8 refinement-types pythonic contracts-programming contracts invariant hacktoberfest mypy dbc design-by-contract deal
-
Updated
Nov 8, 2024 - Python
Strong type constraints for Scala
-
Updated
Dec 13, 2024 - Scala
Phantom types for Python.
python validation static-analysis typing python3 refinement-types mypy phantom-types static-typing refined refined-types
-
Updated
Dec 2, 2024 - Python
Large Scale Type Systems (programming language)
lint programming-language rust parser dependent-types compiler lambda-calculus ast proof-assistant category-theory lexer refinement-types type-checking error-reporting theorem-prover lambda-calculus-interpreter lsts assisted-reasoning
-
Updated
Dec 2, 2024 - Rust
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
-
Updated
Nov 14, 2020 - Scala
`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.
rust library validation crate rust-lang safety crates-io refinement-types static-typing runtime-validation type-library refined-types
-
Updated
Nov 25, 2024 - Rust
Play JSON Reads/Writes instances for refined types
-
Updated
Dec 19, 2024 - Scala
Port of Scala/Haskell Refined library to Idris
-
Updated
Apr 25, 2021 - Idris
Simple Refinement types for F#. No longer maintained.
-
Updated
Jun 22, 2019 - F#
Refinement types encoded with private types in OCaml. 🙄 🐫 🔬 📚
-
Updated
Oct 18, 2020 - OCaml
newtype and refinement (refined) type for Scala 3
-
Updated
Dec 23, 2024 - Scala
Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
-
Updated
May 16, 2020 - Haskell
Proper types for your domain
-
Updated
Dec 24, 2023 - Kotlin
Refinement types for Python
-
Updated
Oct 4, 2021 - Python
Introductory Tutorial on Refinement Types
-
Updated
Jun 5, 2021 - JavaScript
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."