Stars
A Gecko-oriented implementation of the Encoding Standard in Rust
Intellij plugin for TLA+ formal specification language.
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.
Schnorr VRFs and signatures on the Ristretto group
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.
A framework for building blockchains based Finschia Mainnet that is forked from cosmos-sdk
A header-only, single-file library for colormaps written in C++11
A cargo subcommand that updates .travis.yml from a template
Understanding what your bits do when you're not looking.
Neologism dictionary based on the language resources on the Web for mecab-ipadic
Code for the paper 'Let there be Color!: Joint End-to-end Learning of Global and Local Image Priors for Automatic Image Colorization with Simultaneous Classification'.
marcsaegesser / scalawebsocket
Forked from pbuda/scalawebsocketScalaWebSocket provides Scala vocabulary for async-http-client's WebSocket support
Web Servlet to transform static xml or xhtml with XSL on server-side
Ordasity is Boundary's library for building stateful clustered services on the JVM.
Sample GUI (Swing) Tool for Apache Tika 0.9, to distill plain-text from PDF, ODF, OOXML and various document formats.