A safe, easy systems language
-
Updated
Aug 31, 2026 - Rust
#
refinement-types
Here are 72 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 30, 2025 - Python
Strong type constraints for Scala
-
Updated
Aug 12, 2026 - Scala
Phantom types for Python.
python validation static-analysis typing python3 refinement-types mypy phantom-types static-typing refined refined-types
-
Updated
Jan 1, 2026 - Python
Large Scale Type Systems: ML/C Hybrid 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
Apr 3, 2026
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
Jul 21, 2026 - Rust
Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
java static-analysis formal-methods refinement-types program-verification type-checker liquid-types typestate-analysis typestate compile-time-verification
-
Updated
Aug 31, 2026 - Java
Play JSON Reads/Writes instances for refined types
-
Updated
Aug 31, 2026 - Scala
Port of Scala/Haskell Refined library to Idris
-
Updated
Apr 25, 2021 - Idris
newtype and refinement (refined) type for Scala 3
scala functional-programming scalajs refinement refinement-types scala-native newtype refined refined-types
-
Updated
Sep 1, 2026 - Scala
A language and database substrate for coding agents
-
Updated
Sep 1, 2026 - Rust
The Verum Programming Language
language programming-language interpreter compiler llvm verum mathematics proof-assistant refinement-types meta-programming systems-programming shell-scripting llvm-ir cross-compilation gpu-programming embedded-programming interpreted-language architecture-as-code mlir
-
Updated
Sep 1, 2026 - Rust
Refinement types for Python
-
Updated
Oct 4, 2021 - Python
Refinement types encoded with private types in OCaml. 🙄 🐫 🔬 📚
-
Updated
Oct 18, 2020 - OCaml
Simple Refinement types for F#. No longer maintained.
-
Updated
Jun 22, 2019 - F#
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."