Topic: invariants Goto Github
Some thing interesting about invariants
Some thing interesting about invariants
invariants,Invariant tests for Wrapped Ether, one of the most important contracts on mainnet.
User: aboudoc
invariants,Abelian Finite Groups decomposition
User: aidevnn
invariants,Euler Incident POC
User: anajuliabit
invariants,A programme for calculating invariants and maipulating codes for various categories of knots and links
User: andrewbartholomew62
invariants,System.ComponentModel.Annotations.Validation is a extension of System.ComponentModel validation engine. Supports validation of properties and invariants for object graphs.
User: andreykarinskiy
invariants, In this project, we have automated the synthesis of loop invariants for a for a very small programming language. It converts SMT-Lib files into SMT2
User: baptiste-fourmont
invariants,computing Khovanov invariants for links and tangles
User: cbz20
Home Page: https://cbz20.raspberryip.com/code/khtpp/docs/
invariants,A simple Python wrapper around several popular specification mining tools
User: christimperley
invariants,QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
User: classicwuhao
invariants,Fluent Design Contracts for Java Projects
User: cowwoc
invariants,Fluent Design by Contract for Javascript APIs
User: cowwoc
invariants,Innopolis University - Models course. WhyApp is a WhatsApp clone to get used to formal methods.
User: dabudabot
invariants,Welcome to my Security Audit Repository! Here, you'll find a collection of security audit reports conducted by me
User: danstam
invariants,The missing, complete example of Domain-Driven Design enterprise application backed by Spring stack
Organization: ddd-by-examples
invariants,Convenient Invariant functor and several helper functions for validation
Organization: derbent-ninjas
invariants,Runtime assertions for your invariants in Go.
User: disintegrator
invariants,code and knowlage related to the paper "can we see the shape of our data?"
User: eldadkro
invariants,Vaxine provides rich-CRDT features on top of Antidote.
Organization: electric-sql
Home Page: https://vaxine.io
invariants,Final project for concurrent programming subject at @FCEFyN, UNC, Argentina.
User: francoriba
invariants,A way to provide descriptive errors in development but generic errors in production.
User: gggauravgandhi
invariants,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.
Organization: graphfilter
Home Page: http://sistemas.jf.ifsudestemg.edu.br/graphfilter/home
invariants,Rust newtype with guarantees 🇺🇦 🦀
User: greyblake
invariants,Cyfrin-Updraft foundry course
User: ibourn
invariants,Design by contract for JavaScript
User: jjwsteele
invariants,Introspectable Contracts Programming for JavaScript
User: jonnor
Home Page: http://agreejs.org
invariants,Utility library that helps expressing invariants in types
User: joshuajakowlew
invariants,Validation library inspired by the concepts of Secure by Design, by Dan Bergh Johnsson, Daniel Deogun, and Daniel Sawano (MEAP 2019 Manning Publications).
User: lsolano
invariants,Lógica de Programación con KeY y Dafny
User: matiashrnndz
invariants,All of my math stuff from grad school.
User: mbrandonw
invariants,:facepunch: Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.
User: mchalapuk
invariants,Projects of the subject algorithms and data structures 1
User: milenapellegrino
invariants,Formal verifiaction personal notes
User: mmsaki
invariants,The runtime monitoring tool for smart contracts business logic.
User: mojtaba-eshghie
Home Page: https://arxiv.org/abs/2305.08254
invariants,PreDi: Symbolic Solidity Predicate Difference Tool
User: mojtaba-eshghie
Home Page: https://pypi.org/project/predi/
invariants,Validity and validity-based testing
User: norfairking
Home Page: https://www.youtube.com/watch?v=eIs9qNh17SM
invariants,contrib/amcheck from Postgres v11 backported to earlier Postgres versions
User: petergeoghegan
Home Page: https://www.postgresql.org/docs/11/amcheck.html
invariants,Design by Contract framework for PHP
Organization: php-deal
invariants,InvAASTCluster: AASTs and Invariant-Based Program Clustering
User: pmorvalho
invariants,A python program that automatically produces mathematical conjectures in the field of graph theory.
User: randyrdavila
invariants,Generates loop invariants for program verification
User: saswatpadhi
invariants,Static Analyzer for LLVM bitcode based on Abstract Interpretation
Organization: seahorn
invariants,A library for building abstract interpretation-based analyses
Organization: seahorn
invariants,Invariant testing repo for WETH, based on horsefacts repo
User: sheppieboy
invariants,Invariant is a guaranteed library to compute invariants associated to dynamical systems
User: thomaslemezo
invariants,Matlab implementation of Trajectory Invariants.
Organization: trajectory-invariants
Home Page: https://trajectory-invariants.github.io/
invariants,Calculate invariant trajectory representations from trajectory data and generate new trajectories from the invariants.
Organization: trajectory-invariants
Home Page: https://trajectory-invariants.github.io/
invariants,Website of Trajectory Invariants.
Organization: trajectory-invariants
Home Page: https://trajectory-invariants.github.io/
invariants,Invariants and contract monitoring
Organization: unitb
invariants,Stress tensor, hydrostatic stress tensor, deviatoric stress tensor, invariants of stress tensor and deviatoric stress tensor, principal stresses, von Mises stress and Mohr's diagram in Matlab for the case when all components of stress tensor are given.
User: whydenyscry
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.