Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with proofs

A curated list of projects in awesome lists tagged with proofs .

https://github.com/nayuki/project-euler-solutions

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

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

Last synced: 20 Dec 2024

https://github.com/nayuki/Project-Euler-solutions

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

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

Last synced: 30 Oct 2024

https://github.com/fstarlang/karamel

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

c-language cryptography f-star proofs verification

Last synced: 15 Dec 2024

https://github.com/hoytech/quadrable

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

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

Last synced: 17 Dec 2024

https://github.com/spamegg1/math-for-cs-solutions

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

calculus computer-science counting functions graph graph-theory induction logic math number-theory probability proofs random-walks rsa-cryptography set-theory sets solution

Last synced: 20 Dec 2024

https://github.com/gapt/gapt

GAPT: General Architecture for Proof Theory

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

Last synced: 09 Nov 2024

https://github.com/wiktor-k/openpgp-proofs

Like Keybase but distributed

keybase openpgp proofs

Last synced: 28 Oct 2024

https://github.com/philzook58/lens-algebra

Type level algebraic "proofs" using lens combinators

algebra lens polynomial proofs

Last synced: 11 Nov 2024

https://github.com/sstucki/f-omega-int-agda

F-omega with interval kinds mechanized in Agda

agda agda-mechanization interval-kinds proofs semantics subtypes

Last synced: 15 Dec 2024

https://github.com/acorrenson/oratio

Translate natural deduction proofs into natural language.

logic proof-assistant proofs

Last synced: 20 Nov 2024

https://github.com/jsign/go-unixfs-proof

UnixFS DAG files offset-based proofs

filecoin ipfs ipld proofs unixfs

Last synced: 27 Oct 2024

https://github.com/hazelgrove/hazelnut-livelits-agda

mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper

agda proofs

Last synced: 12 Nov 2024

https://github.com/yurrriq/friendly-intro-to-group-theory

Working through the exercises in "A Friendly Introduction to Group Theory"

gap group-theory latex learning-by-book proofs

Last synced: 17 Nov 2024

https://github.com/jcagarcia/proofs

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

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

Last synced: 03 Dec 2024

https://github.com/zchn/eth-acl2

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

acl2 ethereum evm formal-methods formalization proofs verification

Last synced: 17 Nov 2024

https://github.com/dragonwasrobot/formal-moessner

A formal study of Moessner's sieve

coq proofs

Last synced: 24 Nov 2024

https://github.com/spamegg1/spamegg1-lean

Working through Functional Programming in Lean

dependent-types formal-verification functional-programming lean lean4 math proofs

Last synced: 20 Dec 2024

https://github.com/mandarancio/proofkit

ADT and Proof editor

adt formal logic logickit proofs swift tools

Last synced: 29 Nov 2024

https://github.com/vincentlaucsb/ucsb-math-122ab--complex-variables

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

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

Last synced: 06 Nov 2024

https://github.com/rubenseyer/pistophylax

Natural deduction proof assistant

logic natural-deduction proofs

Last synced: 17 Dec 2024

https://github.com/severen/maths

Notes on mathematics at an undergraduate level.

mathematics proofs

Last synced: 10 Nov 2024

https://github.com/yisus82/fic-md2

Matemática Discreta - Facultad de Informática de A Coruña

coq proofs

Last synced: 01 Dec 2024

https://github.com/emarzion/combinator-confluence

A proof of confluence for combinatory logic

combinatory-logic proofs rewrite-system

Last synced: 06 Nov 2024

https://github.com/roldak/ipw

Interactive Proof Assistant for Welder

assistant gui proofs scala

Last synced: 02 Dec 2024

https://github.com/savourygin/chop_logic_poc

Pet project for developing a React interface, which will allow to construct logical proofs and calculate other logical stuff.

chop-logic logic proofs react typescript

Last synced: 06 Dec 2024

https://github.com/eadm/rational-setoid

Setoid for rational numbers written in Idris

idris proofs setoid

Last synced: 20 Dec 2024

https://github.com/brendanzab/agda-logic-playground

Messing around with propositional logic in Agda

agda dependent-types mathematics proofs propositional-logic

Last synced: 19 Nov 2024

https://github.com/candh/truth-table-generator

generates a truth table from a boolean expression

axioms logic prepositions proofs truth truth-tables

Last synced: 22 Nov 2024

https://github.com/filemon-mateus/tex-hw-template

Base LaTeX template useful for formatting rigorous mathematically inclined assignments.

latex math proofs writing

Last synced: 09 Nov 2024