Giters
longcpp

longcpp

Geek Repo

210

followers

717

following

4k

stars

Github PK Tool:Github PK Tool

longcpp's starred repositories

awesome-react-components

Curated List of React Components & Libraries.

License:CC0-1.0Stargazers:40675Issues:749Issues:49

sapling

A Scalable, User-Friendly Source Control System.

Language:RustLicense:GPL-2.0Stargazers:5842Issues:75Issues:433

coq

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.

Language:OCamlLicense:LGPL-2.1Stargazers:4653Issues:103Issues:9891

highway

Performance-portable, length-agnostic SIMD with runtime dispatch

Language:C++License:Apache-2.0Stargazers:3678Issues:44Issues:343

cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

Language:RustLicense:Apache-2.0Stargazers:1413Issues:16Issues:433

solidity-examples

example contracts

Language:JavaScriptStargazers:1010Issues:43Issues:38

curve-stablecoin

Stablecoin powered by LLAMMAs

Language:VyperLicense:NOASSERTIONStargazers:433Issues:31Issues:4

zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler

Language:C++Stargazers:266Issues:13Issues:317

starknet-rs

Complete Starknet library in Rust™

Language:RustLicense:Apache-2.0Stargazers:264Issues:11Issues:121

full-stack-todo-rust-course

wip - we are building this out now in prep for the real course

Language:RustLicense:MITStargazers:237Issues:6Issues:11

dnum

🧮 Small library for big decimal numbers.

Language:TypeScriptLicense:MITStargazers:235Issues:5Issues:8

bft-json-crdt

🏰 the first JSON-like Byzantine Fault Tolerant CRDT

Language:RustLicense:MITStargazers:196Issues:7Issues:2

rsmt2d

Go implementation of two dimensional Reed-Solomon merkle tree data availability scheme.

Language:GoLicense:Apache-2.0Stargazers:150Issues:11Issues:138

rollmint

ABCI-client implementation for rollups.

Language:GoLicense:Apache-2.0Stargazers:149Issues:16Issues:355

evmc

a simple cli tool to load a contract code up in your IDE instantly.

Language:TypeScriptLicense:MITStargazers:127Issues:2Issues:1

ren

Feature, improvement, and design proposals for Ren protocol

License:GPL-3.0Stargazers:93Issues:25Issues:16

flashloan-workshop

Contracts for my flashloan workshop/lecture at UPenn

Language:SolidityLicense:UnlicenseStargazers:77Issues:1Issues:0

dimension-adapters

Language:TypeScriptStargazers:73Issues:3Issues:24

snark-example

ZK-SNARK snarkjs and circom exercises

Language:DockerfileLicense:MITStargazers:55Issues:0Issues:0

kleros-v2

Kleros version 2

Language:TypeScriptLicense:MITStargazers:54Issues:2Issues:326

permit2-sdk

Language:TypeScriptLicense:MITStargazers:44Issues:7Issues:6

micro-starknet

Minimal implementation of Starknet cryptography including Pedersen, Poseidon and Stark Curve.

Language:JavaScriptLicense:MITStargazers:41Issues:2Issues:2

masked-aes-c

Proof-of-concept C implementation of AES with masking technique to prevent side-channel analysis attacks

Language:CLicense:UnlicenseStargazers:28Issues:9Issues:1

MFKDF

JavaScript Implementation of a Multi-Factor Key Derivation Function (MFKDF)

Language:JavaScriptLicense:NOASSERTIONStargazers:27Issues:1Issues:2

fastrlp

Fast RLP encoder/decoder

Language:GoLicense:Apache-2.0Stargazers:24Issues:2Issues:3

layerzero-contracts

LayerZero Contracts for Relay Endpoint

Language:SolidityStargazers:21Issues:3Issues:0

dandiya

Dandiya is an API description tool designed to ensure ABI stability

Language:RustLicense:NOASSERTIONStargazers:9Issues:0Issues:0

fabric-hotel

基于Hyperledger Fabric可监管的隐私交易系统

Language:VueStargazers:7Issues:1Issues:1

dAMMOpt

Model predictive control for dynamic automated market making

Language:JuliaLicense:MITStargazers:5Issues:1Issues:0

Move-Workshop-GR

A demo of features, patterns and libraries in Sui Move, with the theme of an on-chain RPG.

Language:MoveLicense:Apache-2.0Stargazers:3Issues:0Issues:0