proofs

Here are 55 public repositories matching this topic...

nayuki / Project-Euler-solutions

Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.

python java haskell project-euler math algorithms mathematics mathematica competitive-programming recursion dynamic-programming proofs number-theory

Updated Jul 9, 2020
Java

FStarLang / kremlin

Star

KreMLin is a tool for extracting low-level F* programs to readable C code

cryptography verification proofs c-language f-star

Updated Aug 25, 2020
OCaml

gapt / gapt

Star

GAPT: General Architecture for Proof Theory

scala proof theorem-proving tactics sat-solver proofs herbrand-disjunction

Updated Aug 24, 2020
Scala

ZKProofs / ZKProofs.github.io

Star

ZKProofs website

proofs zero-knowledge zk-snarks

Updated May 17, 2020

wiktor-k / openpgp-proofs

Star

Like Keybase but distributed

keybase openpgp proofs

Updated Sep 12, 2020
JavaScript

miguelmota / zksnarks-example

Star

An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.

ethereum smart-contracts blockchain verification proofs zk zero-knowledge zk-snarks zero-knowledge-proofs snarkjs

Updated Oct 17, 2019

philzook58 / lens-algebra

Star

Type level algebraic "proofs" using lens combinators

algebra polynomial lens proofs

Updated Jul 26, 2019
Haskell

evdenis / acsl-proved

Star

Fully proved small C functions (examples for verification course).

c proofs formal-verification acsl frama-c

Updated Jun 26, 2017
C

keithstellyes / csproofs

Star

Just some of my CS Proofs, things like why `k << 1 == k * 2`

computer-science bitwise proofs bitwise-operators

Updated Apr 22, 2017
TeX

jdrprod / Oratio

Star

Translate natural deduction proofs into natural language.

logic proof-assistant proofs

Updated Jun 26, 2020
OCaml

danilkolikov / setoids

Star

Idris proofs for extensional equalities

idris proofs setoid

Updated Jun 18, 2018
Idris

sstucki / f-omega-int-agda

Star

F-omega with interval kinds mechanized in Agda

semantics agda proofs subtypes agda-mechanization interval-kinds

Updated Jul 5, 2020
Agda

ph4r05 / masterThesis

Star

My master thesis on Whitebox cryptography & AES Whitebox schemes.

cryptography latex research math master-thesis billet theory proofs whitebox-aes chow whitebox-cryptography karroumi bge-attack

Updated Jul 15, 2014
TeX

Lolirofle / stuff-in-agda

Star

Learning formal proofs in mathematics/computer science/logic by formalizing them in the Agda language. A project I am working on in my free time.

dependent-types logic theorem-proving mathematics verification type-theory set-theory data-structures category-theory agda formalization proofs mathematics-library

Updated Sep 13, 2020
Agda

aartifact / aartifact-verifier

Star

Lightweight formal verification system developed to support research on usability of automated proof verification tools.

logic proofs formal-verification

Updated Sep 11, 2017
Haskell

chakravala / Math-Research-Notes

Star

Theorems, Definitions, Papers, Research

math mathematics latex-document proofs lecture-notes theorems

Updated Jul 3, 2019
TeX

hoytech / quadrable

Star

Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs

database lmdb mvcc embedded-database merkle-tree proofs multi-version lmdbxx authenticated-dictionaries

Updated Jul 29, 2020
C++

jcagarcia / proofs

Star

Repository to upload my own proofs of concept and some code examples

spring spring-boot proof-of-concept proofs spring-roo

Updated May 10, 2018
AspectJ

vincentlaucsb / UCSB-MATH-122AB--Complex-Variables

Star

A collection of notes, summary sheets, and homework for UCSB's complex analysis series.

math analysis homework dank complex-numbers proofs complex-analysis summary-sheets complex-variables

Updated Sep 13, 2017
TeX

Aussith9NT / cat-stories_test-website

Star

This is a test website that deals with stories of cats that behave like humans.

cats javascript stories js tests websites proofs

Updated Jun 5, 2019
HTML

zchn / eth-acl2

Star

An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.

ethereum verification formal-methods formalization proofs evm acl2

Updated Jul 31, 2018
Common Lisp

dragonwasrobot / formal-moessner

Star

A formal study of Moessner's sieve

coq proofs

Updated Jan 26, 2019
Coq

marnix / zigmmverify

Star

zig proof-assistant proofs proof-automation verifier metamath ziglang

Updated Sep 5, 2020
Zig

EduPH / Teoria-Matematica

Star

Recolección de teoría, teoremas y demostraciones

latex mathematics computation proofs theorems

Updated Sep 12, 2017
TeX

ZcashJS / zcash-redux

Star

Zcash Redux - Redux helper for connecting to Zcash Daemon

redux proofs zcash zero-knowledge

Updated Aug 19, 2018
JavaScript

logic-proof-checker / capstone-openLogic

Star

Capstone Spring 2019

logic proofs

Updated Jun 12, 2019
JavaScript

joda2802 / Proofs

Star

proofs

Updated Feb 13, 2018
TeX

mattdean1 / functional-programming

Star

Exercises in Agda

functional-programming agda proofs

Updated Dec 24, 2018
Agda

Mandarancio / ProofKit

Star

ADT and Proof editor

swift tools logic adt proofs formal logickit

Updated Sep 14, 2020
Swift

benjaminkiesl / drat2er

Star

drat2er: Proof Transformer for Propositional Logic

sat-solver proofs sat drat drat2er extended-resolution

Updated Jan 22, 2019
C++

Improve this page

Add a description, image, and links to the proofs topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proofs topic, visit your repo's landing page and select "manage topics."

Learn more