the proof - LibHunt search results

scyther-proof

0 13 0.0 Isabelle

A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.

tau-proof-theory-lecture-notes

2 0 6.4 TeX

Lecture notes for the Tampere University course "Proof Theory", originally written by Esko Turunen based on Gaisi Takeuti's book "Proof Theory"

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

bulletproof-nodejs

19 5,363 0.0 TypeScript

Implementation of a bulletproof node.js API 🛡️

futureproof

1 50 10.0 Python

Bulletproof concurrent.futures (by yeraydiazdiaz)

proof-of-history-explained

2 49 0.0 Rust

code example for article: "proof of history explained" published on medium

echoproof

1 31 6.1 Python

Simple extension for text-generation-webui that injects recent conversation history into the negative prompt with the goal of minimizing the LLM's tendency to fixate on a single word, phrase, or sentence structure.

sign-in-with-twitter-button

1 11 0.0 CSS

Discontinued :bird: :large_blue_circle: Scalable CSS/HTML Twitter button.

SaaSHub

www.saashub.com featured

SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

Anti-Asian-Hate-Crimes-Proof

2 0 0.0

Evidence of Disproportionate Crimes Against Asians Underreported and Downplayed by Controlled Mainstream Media and their Special Interest Groups www.twitter.com/saveasianlives https://archive.is/cH2pF https://www.google.com/search?q=%22gofundme%22+site%3Anextshark.com

plt

5 5,146 6.3 CSS

Programming Language Theory λΠ

grin

36 5,035 6.3 Rust

Minimal implementation of the Mimblewimble protocol.

coq

87 4,647 10.0 OCaml

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

FastAdapter

2 3,813 3.4 Kotlin

The bullet proof, fast and easy to use adapter library, which minimizes developing time to a fraction...

awesome-blockchains

2 3,712 0.0 Ruby

A collection about awesome blockchains - open distributed public databases w/ crypto hashes incl. git ;-). Blockchains are the new tulips :tulip::tulip::tulip:. Distributed is the new centralized.

consensus-specs

158 3,443 9.8 Python

Ethereum Proof-of-Stake Consensus Specifications

prysm

134 3,363 9.7 Go

Go implementation of Ethereum proof of stake

awesome-blockchain

4 3,099 0.6 Go

⚡️Curated list of resources for the development and applications of blockchain.

security-research

40 2,866 9.2 C

This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.