Stars
- All languages
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Coq
- Elixir
- Emacs Lisp
- Erlang
- Go
- HCL
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Makefile
- Mercury
- OCaml
- Objective-C++
- PHP
- Perl
- Python
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- TLA
- TeX
- TypeScript
- Vim Script
- Vue
- WebAssembly
- Wikitext
- Wren
- hoon
Empowering everyone to build reliable and efficient software.
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Distributed transactional key-value database, originally created to complement TiDB
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
The fast, light, and robust client for Ethereum-like networks.
A modern Python application packaging and distribution tool
Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
A cryptographically verifiable code review system for the cargo (Rust) package manager.
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Meaningful control of data in distributed systems.
Creusot helps you prove your code is correct in an automated fashion.
Framework for building smart contracts in Wasm for the Cosmos SDK
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
Crucible is a library for symbolic simulation of imperative programs
Client libraries for Tendermint/CometBFT in Rust!
Application microframework with command-line option parsing, configuration, error handling, logging, and shell interactions
Encode and decode smart contract invocations
A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety
Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.