Stars
Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
Markdown source files for the LINE Developers site.
Circuit diagrams and firmware source code for Gboard DIY keyboards
Custom criterion measurement to get throughputs in the format "[time]/[element or byte]"
Lexer Generator and Parser Generator as a Library in Nim.
High throughput asynchronous task processing on Apache Kafka
A statically-typed, functional typesetting system
A `rocksdb` wrapper for golang applications. This is forked from https://github.com/tecbot/gorocksdb.
Merkleized IAVL+ Tree implementation in Go forked from cosmos/iavl(https://github.com/cosmos/iavl)
Common database interface for various database backends for Ostracon and LBM SDK. This is forked from Tendermint tm-db(https://github.com/tendermint/tm-db)
Go bindings to the CosmWasm smart contract framework. In particular, it allows you to easily compile, initialize, and execute these contracts from Go.
Fast and reusable WebAssembly smart contract runtime(and library) for finschia-sdk.
Ostracon, a consensus algorithm, is forked from Tendermint Core. We have added VRF to Tendermint BFT. It adds randomness to PoS Validator elections and improves security.
A framework for building blockchains based Finschia Mainnet that is forked from cosmos-sdk
A full featured, fast Command Line Argument Parser for Rust
An asynchronous fullstack web framework for Nim.
Set up your GitHub Actions workflow with a specific version of Nim
Create CGI programmes in Rust with hyper's http types
A simple string templating library for Nim
Useful Variant Type and Powerful Pattern Matching for Nim
GraphQL is a query language and execution engine tied to any backend service.
A fast DFA based Regex engine that supports submatches