8000 hadasz (Hadas Zeilberger) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View hadasz's full-sized avatar

Block or report hadasz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
Rust 34 9 Updated May 15, 2025
C 2 1 Updated Apr 30, 2024

Intel® Cryptography Primitives Library is a secure, fast and lightweight library of building blocks for cryptography, highly-optimized for various Intel® CPUs

C 354 94 Updated Jul 1, 2025

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

Nim 465 59 Updated May 16, 2025

FinRL®: Financial Reinforcement Learning. 🔥

Jupyter Notebook 12,034 2,825 Updated Jun 24, 2025

Integrated Global System Model

Roff 11 3 Updated Apr 28, 2023

Hyperledger Avalon enables privacy in blockchain transactions, moving intensive processing from a main blockchain to improve scalability and latency, and to support attested Oracles

Python 138 93 Updated Jan 26, 2022

Functional Data Management (Type Safe ETL / ELT in Haskell)

Haskell 42 4 Updated Dec 1, 2021

Cryptographic Primitive Code Generation by Fiat

Rocq Prover 764 156 Updated Jul 1, 2025

Mirror of SUPERCOP, the "System for Unified Performance Evaluation Related to Cryptographic Operations and Primitives"

C 99 34 Updated Jun 23, 2017

Super Amazing Universal Composability, Yeah!

Haskell 34 5 Updated Apr 26, 2022

VERified asSembler for cryptographic primitives

Coq 12 5 Updated Jul 15, 2023

Foundational Cryptography Framework for machine-checked proofs of cryptography.

Coq 51 24 Updated Jun 2, 2025

A akka persistence backend for scuttlebutt

Scala 4 1 Updated Jan 13, 2020

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

5,545 879 Updated Sep 25, 2024

A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)

C++ 536 98 Updated Mar 24, 2023

Formalization of EVM in Coq

Coq 5 1 Updated Jul 28, 2017

A functional smart contract system

Haskell 6 3 Updated Mar 19, 2019

The Shared Royalty Non-Fungible Token (a.k.a Bootleg) is an open source project started by the ConsenSys Web3Studio team. The purpose of the Shared Royalty Non-Fungible Token (SRNFT) is to make any…

JavaScript 92 27 Updated Dec 9, 2022

Deploying Haskell applications to AWS Lambda with Serverless

Haskell 217 22 Updated Jan 8, 2024

Shamir's secret sharing algorithm for react-native

JavaScript 18 5 Updated Jun 24, 2024

OpenSGX

C 303 80 Updated Jun 25, 2020

Circuit compiler for zkSNARKs

JavaScript 473 83 Updated Apr 29, 2023
0