Topic: proofs Goto Github
Some thing interesting about proofs
Some thing interesting about proofs
proofs,Lightweight formal verification system developed to support research on usability of automated proof verification tools.
Organization: aartifact
proofs,Translate natural deduction proofs into natural language.
User: acorrenson
proofs,A verification toolchain for Rust programs
Organization: aeneasverif
proofs,This is a test website that deals with stories of cats that behave like humans.
User: aussith9nt
Home Page: https://aussith9nt.github.io/cat-stories_test-website
proofs,drat2er: Proof Transformer for Propositional Logic
User: benjaminkiesl
proofs,Proofs for the paper "Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures"
Organization: binary-translation
Home Page: https://binary-translation.github.io/risotto/
proofs,Theorems, Definitions, Papers, Research
User: chakravala
Home Page: https://crucialflow.com
proofs,Idris proofs for extensional equalities
User: danilkolikov
proofs,A formal study of Moessner's sieve
User: dragonwasrobot
proofs,Recolección de teoría, teoremas y demostraciones
User: eduph
proofs,Repository of EuroProofNet WG 2 on ATPs
Organization: europroofnet
Home Page: https://europroofnet.github.io/wg2/
proofs,Fully proved small C functions (examples for verification course).
User: evdenis
proofs,KaRaMeL is a tool for extracting low-level F* programs to readable C code
Organization: fstarlang
proofs,GAPT: General Architecture for Proof Theory
Organization: gapt
Home Page: https://logic.at/gapt/
proofs,Self study of selected parts of MIT's 6.042j Mathematics for Computer Science as recommended in Harvard's CS121 Introduction to Theoretical Computer Science preparation.
User: gz101
Home Page: https://cs121.boazbarak.org/background/#self-study-using-mit-6-042j
proofs,mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper
Organization: hazelgrove
Home Page: https://hazel.org/
proofs,Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
User: hoytech
proofs,Repository to upload my own proofs of concept and some code examples
User: jcagarcia
proofs,Just some of my CS Proofs, things like why `k << 1 == k * 2`
User: keithstellyes
proofs,My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.
User: kijeong-lim
proofs,Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.
User: lolirofle
proofs,Requirements: Safari Webkit 17.1 (⥣) | Analysis in MathML© Foundations in Mathematical Analysis | Watters Research and Technologies® | MIT License | BSD (C4)-License | Analogue: UCB Math 104: Introductory Analysis
User: luqmanmalik
Home Page: https://luqmanmalik.github.io/Analysis-MathML/AMML/index.html
proofs,ADT and Proof editor
User: mandarancio
proofs,
User: marnix
proofs,Exercises in Agda
User: mattdean1
proofs,Guide on how to use the metamath-lamp proof assistant
Organization: metamath
Home Page: https://lamp-guide.metamath.org
proofs,An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.
User: miguelmota
Home Page: https://github.com/miguelmota/zksnarks-example
proofs,Programming language foundations in Idris
User: minhnhdo
proofs,Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
User: nayuki
Home Page: https://www.nayuki.io/page/project-euler-solutions
proofs,Template-based proofs of concurrent search structures.
Organization: nyu-acsys
proofs,My master thesis on Whitebox cryptography & AES Whitebox schemes.
User: ph4r05
Home Page: https://is.muni.cz/th/325219/fi_m/
proofs,Type level algebraic "proofs" using lens combinators
User: philzook58
proofs,This Project shows an understanding of Propositional Logic, Conjunctive Normal Form, and The Resolution Refutation Method.
User: priorlax123
proofs,[Informatica - Basi di Dati 1] Forum di scambio e confronto di soluzioni ad esercizi (anche da prove di esame passate)
Organization: sapienzastudentsnetwork
proofs,Digital signing tool for legal contracts
Organization: signchain
Home Page: https://app.signchain.xyz
proofs,Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
User: spamegg1
proofs,Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
User: spamegg1
proofs,F-omega with interval kinds mechanized in Agda
User: sstucki
proofs,A collection of notes, summary sheets, and homework for UCSB's complex analysis series.
User: vincentlaucsb
proofs,Like Keybase but distributed
User: wiktor-k
Home Page: https://metacode.biz/openpgp/proofs
proofs,A self-conscious house (digital twin) that manages all your house related bills and home improvements which is capable of monitoring government issued subsidies and apply for them when the house its action framework matches the subsidy. This way, we unburden the house owner of house-related management tasks or the need for being aware of each government issued subsidy. Only recognized contractors are able to join the reversed marketplace where they can bid for house related jobs like installing solar panels. The house will suggest the most fitting contractor, however, the final decision lies with the house owner. The government benefits from this system as it can monitor the progress of its subsidies and tailor it if needed. It's a more efficient way of spreading information with regards to subsidies.
User: yash-bhange
proofs,Design and Analysis of Data Structures
User: yufeicui
proofs,Working through the exercises in "A Friendly Introduction to Group Theory"
User: yurrriq
Home Page: http://yurrriq.codes/friendly-intro-to-group-theory/exercises.pdf
proofs,Zcash Redux - Redux helper for connecting to Zcash Daemon
Organization: zcashjs
proofs,An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
User: zchn
proofs,ZKProofs website
Organization: zkproofs
Home Page: https://zkp.science
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.