Topic: proof Goto Github
Some thing interesting about proof
Some thing interesting about proof
proof,The Agda standard library
Organization: agda
Home Page: https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
proof,ใ๐ฅใCVE-2022-33891 - Apache Spark Command Injection
Organization: amoloht
proof,A P2P Delegated Proof of Work solution for Nano cryptocurrency
User: anarkrypto
Home Page: https://anarkrypto.github.io/P2PoW
proof,This Fake Proof generator allows you to generate an image (.png) simulating the donation of a nitro to a user. It is possible to choose by entering the ID a real user or to choose manually the name, the profile picture and the message of the user. The use of the script is done with the help of commands using Discord modals.
User: astraadev
Home Page: https://discord.gg/PKR7nM9j9U
proof,Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
User: baro77
Home Page: https://www.bybaro.it/tss
proof,A small video game console for Arduino using the Brainduino interpreter
Organization: brain-labs
proof,Tool that enables Cake DeFi's to provide proof of liabilities and reserves
Organization: cakedefi
Home Page: https://app.cakedefi.com/proof-of-reserves
proof,A Command Line Interface (CLI) for creating and verifying Chainpoint proofs.
Organization: chainpoint
Home Page: https://chainpoint.org/
proof,On-chain snapshots of the whole blockchain state
User: codesandwich
proof,Creusot helps you prove your code is correct in an automated fashion.
Organization: creusot-rs
proof,
Organization: data61
proof,Provably correct implementation of insertion sort in Idris.
User: davidfstr
proof,๐๏ธ๐๐ฟ Love streaming - It's always best to watch a movie together ! ๐ค
Organization: difftylab
Home Page: https://diffylab.github.io/Diffy/
proof,Coq formalizations of functional languages.
Organization: discus-lang
Home Page: iron.ouroborus.net
proof,Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Organization: distributedcomponents
proof,Hรครคl - Anonymous Electronic Voting System on Public Blockchains
User: eddieoz
proof,Project is in active development and has been moved to the EthereumJS VM monorepo.
Organization: ethereumjs
Home Page: https://github.com/ethereumjs/ethereumjs-monorepo
proof,A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
Organization: eyereasoner
Home Page: https://eyereasoner.github.io/eye-js/example/
proof,In this repository you can find stuff related to hack Facebook & Instagram. Disclaimer: This is only the proof of concept of my piece of code and only for educational purpose. So we are not responsible for any illegal use of this code.
User: fl45h-09
proof,Formal verification tool for Rust: check 100% of execution cases of your programs ๐ฆ to make applications with no bugs! โ๏ธ ๐ โ๏ธ ๐ฆ
Organization: formal-land
proof,A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
User: gallais
Home Page: https://gallais.github.io/generic-syntax/Generic.html
proof,GAPT: General Architecture for Proof Theory
Organization: gapt
Home Page: https://logic.at/gapt/
proof,precedence brings secure blockchain-powered traceability features to your already existing legacy information system
Organization: inblocks
proof,Basic Analysis, undergraduate real analysis textbook
User: jirilebl
Home Page: https://www.jirka.org/ra/
proof,Solutions for the book "Language Proof and Logic".
User: jumaruba
proof,:muscle::link: PoW Blockchain implementation in Typescript :currency_exchange:
User: krystianity
proof,Proving a blocking queue deadlock free in a dozen different ways
User: lemmy
proof,KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Organization: ls-lab
Home Page: http://keymaeraX.org/
proof,Batch verification proposal for the zkSNARK verification with the same(!) circuit
Organization: matter-labs-archive
proof,Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm
User: merlin04
Home Page: https://truthtabl.es
proof,Fitch style proof constructor
User: mrieppel
Home Page: http://mrieppel.github.io/fitchjs/
proof,An advanced SAT solver
User: msoos
Home Page: https://www.msoos.org
proof,Examples of NuID's zero knowledge authentication and key management facilities in various languages and frameworks. Open an Issue or PR if you'd like to see your favorite tool here.
Organization: nuid
Home Page: https://nuid.io
proof,Reference implementation of the OpenRarity protocol with Python.
Organization: openrarity
proof,LaTeX package for automatically putting proof environments in appendix
User: pierresenellart
proof,Verified Software Toolchain
Organization: princetonuniversity
Home Page: https://vst.cs.princeton.edu
proof,A JavaScript propositional logic and resolution library
User: ryanmarcus
proof,CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
User: sarsko
proof,Correctness proofs of Ethereum token contracts
Organization: sec-bit
proof,seL4 specification and proofs
Organization: sel4
Home Page: https://sel4.systems
proof,Proof of concept to generate safe and fast JavaScript
User: smorimoto
proof,Project Planeverb is a CPU based real-time wave-based acoustics engine for games. It comes with an integration with the Unity Engine.
User: themattrosen
proof,Formally verified Coq serialization library with support for extraction to OCaml
Organization: uwplse
proof,A framework for formally verifying distributed systems implementations in Coq
Organization: uwplse
proof,An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Organization: uwplse
proof,The Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept
User: vinorodrigues
Home Page: https://vinorodrigues.github.io/bootstrap-dark/
proof,The Ancillary Guide to Dark Mode and Bootstrap 5 - A continuation of the v4 Dark Mode POC.
User: vinorodrigues
Home Page: http://vinorodrigues.github.io/bootstrap-dark-5
proof,A linked data proof suite specification for BBS+ signatures
Organization: w3c
Home Page: https://w3c.github.io/vc-di-bbs/
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.