Stars
ANT-ACE: Advanced Compiler Ecosystem for Fully Homomorphic Encryption and Domain Specific Computing
Scalar is an open-source API platform: 🌐 Modern Rest API Client 📖 Beautiful API References …
Fidelius - YeeZ Privacy Computing 基于可信执行环境的熠智隐私计算中间件
This is the repo for contract part of D4A
C implementation of the Raft Consensus protocol, BSD licensed
A C++ await/yield emulation library for stackless coroutine
Intermediate Representation for Binary analysis and transformation
mlpack: a fast, header-only C++ machine learning library
A secure WebAssembly VM catered for decentralized applications.
zkPoD: A decentralized system for perfect fair data exchange
Perkeep (née Camlistore) is your personal storage system for life: a way of storing, syncing, sharing, modelling and backing up content.
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
Simple data persistence for your Electron app or module - Save and load user preferences, app state, cache, etc
A grants program to support the development of the ecosystem
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
Static program analysis framework for Ethereum smart contract bytecode.
Solution for red dot (badge reminder) display and its management / 小红点(消息推送提醒)完整解决方案
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A framework for formally verifying distributed systems implementations in Coq