Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for invariants
invariants
x
22 search results found
Factory
⭐
1,148
The missing, complete example of Domain-Driven Design enterprise application backed by Spring stack
Nutype
⭐
1,065
Rust newtype with guarantees 🇺🇦 🦀
Deal
⭐
682
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
Clam
⭐
258
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Framework
⭐
251
Design by Contract framework for PHP
Escnn
⭐
251
Equivariant Steerable CNNs Library for Pytorch https://quva-lab.github.io/escnn/
Crab
⭐
199
A library for building abstract interpretation-based analyses
Validity
⭐
155
Validity and validity-based testing
Hm Def
⭐
154
Runtime type checking for JS with Hindley Milner signatures
Amcheck
⭐
74
contrib/amcheck from Postgres v11 backported to earlier Postgres versions
My Math Notes
⭐
33
All of my math stuff from grad school.
Loopinvgen
⭐
31
Generates loop invariants for program verification
Graphfilter
⭐
16
The main goal of this software is to give assistance to Graph Theory and Spectral Graph Theory researchers to establish or refute conjectures quickly and simply, providing for visualization a filtered list of graphs according to the properties given by the user.
Agree
⭐
13
Introspectable Contracts Programming for JavaScript
Decorator Contracts
⭐
13
Decorator Contracts is a library that provides the ability to create and assign Code Contracts to ECMAScript and TypeScript classes. This enables enforcement of the Liskov substitution principle and the Open-closed principle of SOLID to support Design By Contract™.
Requirements.java
⭐
10
Fluent Design by Contract for Java APIs
Offensive.js
⭐
8
👊 Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.
Qmaxuse
⭐
7
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
Constrained
⭐
7
Utility library that helps expressing invariants in types
Requirements.js
⭐
6
Fluent Design by Contract for Javascript APIs
Denuto
⭐
6
Design by contract for JavaScript
Rep
⭐
5
enforce representation/class invariants in your Rust data structures
Related Searches
Contracts Invariants (8)
Javascript Invariants (8)
Design By Contract Invariants (7)
Invariants Preconditions (7)
1-22 of 22 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.