Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Types Constraints Open Source Projects

Open source projects categorized as Types Constraints
Dry Types ⭐ 843
Flexible type system for Ruby with coercions and constraints
dependent packages 219total releases 46most recent commit a month agorubygems dry-types} Downloads
Topshell ⭐ 444
TopShell - a purely functional, reactive scripting language
most recent commit 3 years ago
Dry Struct ⭐ 394
Typed struct and value objects
dependent packages 244total releases 22most recent commit 4 months agorubygems dry-struct} Downloads
Holmes ⭐ 289
A reference library for constraint-solving with propagators and CDCL.
most recent commit a year ago
Schema To Yup ⭐ 272
Schema to Yup validation
dependent packages 17total releases 65most recent commit 4 months agonpm schema-to-yup} Downloads
Typed_python ⭐ 193
An llvm-based framework for generating and calling into high-performance native code from Python.
total releases 9most recent commit 10 months ago
Downcast Rs ⭐ 149
dependent packages 215total releases 11most recent commit 8 months agocargo downcast-rs} Downloads
Csharpextensions ⭐ 120
A set of annotations and analyzers that add additional constraints to your codebase
dependent packages 11total releases 44most recent commit 4 months agonuget SmartAnalyzers.CSharpExtensions.Annotations} Downloads
Dropwizard Scala ⭐ 73
Scala language integration for Dropwizard
most recent commit 2 years ago
Zen ⭐ 72
Zen is a constraint solving library for .NET
total releases 63most recent commit 5 months ago
Decorum ⭐ 62
Making floating-point behave.
dependent packages 12total releases 18most recent commit a year agocargo decorum} Downloads
Typelevel Rewrite Rules ⭐ 62
rewrite rules for type-level equalities
total releases 3most recent commit 8 months ago
Constraint Unions ⭐ 57
A syntax for unions of constraints in Haskell
most recent commit 7 years ago
Dependent Sum ⭐ 52
Dependent sums and supporting typeclasses for comparing and displaying them
total releases 19most recent commit 5 months ago
Extraconstraints ⭐ 47
Facilitates adding constraints for Enum and Delegate to types and methods.
dependent packages 9total releases 37most recent commit 4 months agonuget ExtraConstraints.Fody} Downloads
Tableschema Go ⭐ 44
A Go library for working with Table Schema.
dependent packages 1total releases 6most recent commit a year ago
Tcomb React Bootstrap ⭐ 42
Type checking for react-bootstrap [DEPRECATED]
dependent packages 3total releases 9most recent commit 10 years agonpm tcomb-react-bootstrap} Downloads
Magic Constraints ⭐ 41
Magic Type Introspection And Runtime Parameter Type/Value Checking.
total releases 10most recent commit 8 years ago
Inch ⭐ 37
A type-checker for Haskell with integer constraints
total releases 2most recent commit 9 years ago
Type Inference By Example ⭐ 36
A series of down-to-earth articles on implementing type inference
most recent commit 4 years ago
Mist ⭐ 36
A tiny language for teaching and experimenting with Refinement Types
most recent commit 3 years ago
Uploadchecker ⭐ 30
Check and constrain type/size/resolution while uploading files in pure front-end way.
dependent packages 1total releases 4most recent commit 6 years agonpm upload-checker} Downloads
Verdict ⭐ 26
most recent commit 8 years ago
The 10 Most Depended On Types Constraints Open Source Projects
Dry Struct ⭐ 394
Typed struct and value objects
dependent packages 244total releases 22latest release November 04, 2022most recent commit 4 months agorubygems dry-struct} Downloads
Dry Types ⭐ 843
Flexible type system for Ruby with coercions and constraints
dependent packages 219total releases 46latest release February 17, 2023most recent commit a month agorubygems dry-types} Downloads
Downcast Rs ⭐ 149
dependent packages 215total releases 11latest release June 30, 2020most recent commit 8 months agocargo downcast-rs} Downloads
Protoduck ⭐ 22
Duck typing for the most serious of ducks.
dependent packages 33total releases 10latest release October 26, 2018most recent commit 4 years agonpm protoduck} Downloads
Schema To Yup ⭐ 272
Schema to Yup validation
dependent packages 17total releases 65latest release December 08, 2023most recent commit 4 months agonpm schema-to-yup} Downloads
Decorum ⭐ 62
Making floating-point behave.
dependent packages 12total releases 18latest release May 18, 2020most recent commit a year agocargo decorum} Downloads
Mousex Getopt ⭐ 8
IMPORTANT: Call for maintainers!
dependent packages 12total releases 17latest release January 26, 2019most recent commit 5 years ago
Csharpextensions ⭐ 120
A set of annotations and analyzers that add additional constraints to your codebase
dependent packages 11total releases 44latest release January 26, 2023most recent commit 4 months agonuget SmartAnalyzers.CSharpExtensions.Annotations} Downloads
Extraconstraints ⭐ 47
Facilitates adding constraints for Enum and Delegate to types and methods.
dependent packages 9total releases 37latest release August 21, 2019most recent commit 4 months agonuget ExtraConstraints.Fody} Downloads
Specio ⭐ 5
Type constraints and coercions for Perl
dependent packages 9total releases 43latest release June 11, 2022most recent commit a year ago
The 10 Latest Releases In Types Constraints Open Source Projects
Schema To Yup ⭐ 272
Schema to Yup validation
dependent packages 17total releases 65latest release December 08, 2023most recent commit 4 months agonpm schema-to-yup} Downloads
Ghc Typelits Knownnat ⭐ 14
Derive KnownNat constraints from other KnownNat constraints
total releases 26latest release November 14, 2023most recent commit 5 months ago
Zen ⭐ 72
Zen is a constraint solving library for .NET
total releases 63latest release October 23, 2023most recent commit 5 months ago
Typelevel Rewrite Rules ⭐ 62
rewrite rules for type-level equalities
total releases 3latest release March 16, 2023most recent commit 8 months ago
Dry Types ⭐ 843
Flexible type system for Ruby with coercions and constraints
dependent packages 219total releases 46latest release February 17, 2023most recent commit a month agorubygems dry-types} Downloads
Dry Types Tuple ⭐ 7
The Tuple type implementation for Dry::Types
total releases 6latest release February 07, 2023most recent commit 6 months ago
Csharpextensions ⭐ 120
A set of annotations and analyzers that add additional constraints to your codebase
dependent packages 11total releases 44latest release January 26, 2023most recent commit 4 months agonuget SmartAnalyzers.CSharpExtensions.Annotations} Downloads
Dependent Sum ⭐ 52
Dependent sums and supporting typeclasses for comparing and displaying them
total releases 19latest release December 22, 2022most recent commit 5 months ago
Tableschema Go ⭐ 44
A Go library for working with Table Schema.
dependent packages 1total releases 6latest release December 01, 2022most recent commit a year ago
Dry Struct ⭐ 394
Typed struct and value objects
dependent packages 244total releases 22latest release November 04, 2022most recent commit 4 months agorubygems dry-struct} Downloads
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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