Topic: proofs Goto Github

👇 Here are 154 public repositories matching this topic...

nayuki / project-euler-solutions
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
java python mathematica project-euler math mathematics competitive-programming number-theory algorithms proofs

aeneasverif / aeneas
proofs,A verification toolchain for Rust programs
Organization: aeneasverif
Home Page: https://aeneasverif.github.io/
compiler coq deductive-reasoning formal-methods formal-verification fstar hol4 lean ocaml proofs

fstarlang / karamel
proofs,KaRaMeL is a tool for extracting low-level F* programs to readable C code
Organization: fstarlang
verification proofs cryptography c-language f-star

hoytech / quadrable
proofs,Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
User: hoytech
merkle-tree authenticated-dictionaries lmdb lmdbxx proofs embedded-database mvcc multi-version database

spamegg1 / math-for-cs-solutions
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
calculus counting functions graph graph-theory induction math probability proofs set-theory

spamegg1 / epp-discrete-math-5th-solutions
proofs,Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
User: spamegg1
algorithmic-complexity big-o circuits computer-science counting discrete-mathematics finite-state-automata functions graphs logic

gapt / gapt
proofs,GAPT: General Architecture for Proof Theory
Organization: gapt
Home Page: https://logic.at/gapt/
proofs herbrand-disjunction scala theorem-proving sat-solver tactics proof

zkproofs / zkproofs.github.io
proofs,ZKProofs website
Organization: zkproofs
Home Page: https://zkp.science
zero-knowledge proofs zk-snarks

wiktor-k / openpgp-proofs
proofs,Like Keybase but distributed
User: wiktor-k
Home Page: https://metacode.biz/openpgp/proofs
openpgp keybase proofs

miguelmota / zksnarks-example
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
zk zk-snarks zero-knowledge zero-knowledge-proofs ethereum smart-contracts verification proofs blockchain snarkjs

sapienzastudentsnetwork / basi-di-dati-1
proofs,[Informatica - Basi di Dati 1] Forum di scambio e confronto di soluzioni a esercizi e prove d'esame passate
Organization: sapienzastudentsnetwork
proofs relational-databases theorems

tminusz / zenon-developer-commons
proofs,A public, community-driven space for exploring Zenon’s architecture, documenting research, and enabling developers to collaborate on future directions of the Network of Momentum. https://x.com/@nomdevelopment
User: tminusz
Home Page: https://zenonaliencommons.substack.com/
architecture browser concensus cryptography dag distributed-systems dlt libp2p light-client networking

philzook58 / lens-algebra
proofs,Type level algebraic "proofs" using lens combinators
User: philzook58
lens algebra proofs polynomial

chakravala / math-research-notes
proofs,Theorems, Definitions, Papers, Research
User: chakravala
Home Page: https://crucialflow.com
mathematics theorems proofs math lecture-notes latex-document proof theorem latex

jedisct1 / c-sigma
proofs,Easy-to-use Sigma proofs in C using libsodium.
User: jedisct1
proofs sigma zkproofs sigma-proofs sigma-protocols

evdenis / acsl-proved
proofs,Fully proved small C functions (examples for verification course).
User: evdenis
c acsl frama-c formal-verification proofs

prooffrog / prooffrog
proofs,A tool for verifying transitions in cryptographic game-hopping proofs
Organization: prooffrog
Home Page: https://prooffrog.github.io
cryptography formal-verification proofs

sstucki / f-omega-int-agda
proofs,F-omega with interval kinds mechanized in Agda
User: sstucki
semantics agda-mechanization agda interval-kinds subtypes proofs

kijeong-lim / portfolio
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
lexer-generator parser-generator lambda-prolog natural-deduction portfolio proofs

variantsync / vatras
proofs,Agda Library to Study the Expressive Power of Languages for Static Variability
Organization: variantsync
compiler expressiveness proofs software-product-lines variability-modeling

konnov / leanda
proofs,Distributed algorithms in Lean 4
User: konnov
lean4 distributed-computing specification tlaplus proofs

marnix / zigmmverify
proofs,
User: marnix
metamath zig ziglang proofs verifier proof-assistant proof-automation

ph4r05 / masterthesis
proofs,My master thesis on Whitebox cryptography & AES Whitebox schemes.
User: ph4r05
Home Page: https://is.muni.cz/th/325219/fi_m/
whitebox-aes whitebox-cryptography cryptography research master-thesis latex math proofs theory chow

nyu-acsys / template-proofs
proofs,Template-based proofs of concurrent search structures.
Organization: nyu-acsys
proofs grasshopper coq

lolirofle / stuff-in-agda
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
formalization agda mathematics logic type-theory set-theory dependent-types theorem-proving category-theory proofs

danilkolikov / setoids
proofs,Idris proofs for extensional equalities
User: danilkolikov
idris setoid proofs

acorrenson / oratio
proofs,Translate natural deduction proofs into natural language.
User: acorrenson
proofs logic proof-assistant

signchain / core
proofs,Digital signing tool for legal contracts
Organization: signchain
Home Page: https://app.signchain.xyz
digital-signing decentralized-identities proofs identity

keithstellyes / csproofs
proofs,Just some of my CS Proofs, things like why `k << 1 == k * 2`
User: keithstellyes
proofs computer-science bitwise bitwise-operators

yash-bhange / blockchain-based-self-concious-house
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
blockchain ethereum smart-contracts selfconcioushouse blockchainproject landfraud transaction proofs proofofwork

hazelgrove / hazelnut-livelits-agda
proofs,mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper
Organization: hazelgrove
Home Page: https://hazel.org/
agda proofs

charlescnorton / unclos-verified
proofs,Formalizing the Law of the Sea
User: charlescnorton
law maritime proofs

jsign / go-unixfs-proof
proofs,UnixFS DAG files offset-based proofs
User: jsign
unixfs ipfs proofs ipld filecoin

cuppajoeman / openmath
proofs,
User: cuppajoeman
Home Page: https://www.openmath.net/
education learning mathematics proofs recursive

binary-translation / risotto-proofs
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/
binary-translation proofs

bricktowers / midnight-proof-server
proofs,Brick Towers Midnight Network ZK (Zero-Knowledge) Proof Server
Organization: bricktowers
Home Page: https://bricktowers.io
blockchain privacy proofs zk midnightntwrk

metamath / lamp-guide
proofs,Guide on how to use the metamath-lamp proof assistant
Organization: metamath
Home Page: https://lamp-guide.metamath.org
formalism math mathematics metamath proof proofs

charlescnorton / sammath-naur
proofs,In the land of Mordor where the shadows lie
User: charlescnorton
networking proofs protocols

badaas / cryptography.academy
proofs,Learn cryptography with formal proofs
Organization: badaas
Home Page: https://cryptography.academy
cryptography education formal-verification mathematics proofs zero-knowledge-proofs

aartifact / aartifact-verifier
proofs,Lightweight formal verification system developed to support research on usability of automated proof verification tools.
Organization: aartifact
formal-verification proofs logic

v-- / notebook
proofs,Personal notes of various topics in mathematics
User: v--
notes mathematics proofs theorems

trustops / awesome-trustops
proofs,A list of tools and methods for building trustworthy software following TrustOps principles.
Organization: trustops
confidential-computing devops privacy proofs secure-computing security tee verifiability zero-knowledge trustops

gz101 / mit6042j
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
discrete-mathematics proofs

michpara / csi2120-programming-paradigms
proofs,Labs for Programming Paradigms
User: michpara
java golang scheme prolog oop concurrency parrallelism proofs arithmetics streams

industral / jay-cummings-proofs
proofs,Solutions to exercises: Jay Cummings – Proofs: A Long-Form Mathematics Textbook
User: industral
Home Page: https://www.amazon.com/Proofs-Long-Form-Mathematics-Textbook-Math/dp/B08T8JCVF1
math mathematics proofs proofs-and-conjectures answers exercises solutions

europroofnet / atp
proofs,Repository of EuroProofNet WG 2 on ATPs
Organization: europroofnet
Home Page: https://europroofnet.github.io/wg2/
logic theorem-proving proofs wiki proof-assistant

gyakobo / recognizing-context-free-languages-with-a-pda
proofs,The following project should define a PDA that in its turn would recognize a specific context-free language.
User: gyakobo
context-free-language pushdown-automaton python3 proofs theoretical-computer-science

dragonwasrobot / formal-moessner
proofs,A formal study of Moessner's sieve
User: dragonwasrobot
coq proofs

gyakobo / recognizing-an-email-adress-with-dfa
proofs,The following example is meant to demonstrate how a Deterministic Finite Automata(DFA) algorithm is supposed to guide identify whether a string is an email adress ending with .gov or .gr
User: gyakobo
dfa finite-state-machine python3 njit proofs theoretical-computer-science

yurrriq / friendly-intro-to-group-theory
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
group-theory learning-by-book gap latex proofs