Stars
Hardhat plugin to develop smart contracts with Fe
Fast data store for Pandas time-series data
Substrate: The platform for blockchain innovators
⛓️ EVM & Wasm $ IBC-compatible, OKTC is a L1 blockchain network built on top of Cosmos SDK that aims for optimal interoperability and performance ✨
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
A Haskell to Coq compiler that represents effectful programs with the free monad
Vim plugin that displays tags in a window, ordered by scope
Header-only, event based, tiny and easy to use libuv wrapper in modern C++ - now available as also shared/static library!
🐜 single header process launching solution for C and C++
Multi-tier framework for programming web and mobile applications in OCaml.
A code rewrite tool for structural search and replace that supports ~every language.
Macros in Python: quasiquotes, case classes, LINQ and more!
bazel build rules to use boost in bazel projects
A c++ coroutine library making use of llvm 5.0 coroutine experimental features to dramatically simplify asynchronous logical in C++.