xxx's starred repositories

yu

Yu is a highly customizable modular blockchain framework.

Language:GoLicense:GPL-3.0Stargazers:87Issues:0Issues:0

bountiful

Get paid to break things

Language:JavaScriptStargazers:13Issues:0Issues:0

hardhat-fe

Hardhat plugin to develop smart contracts with Fe

Language:TypeScriptLicense:MITStargazers:15Issues:0Issues:0

pystore

Fast data store for Pandas time-series data

Language:PythonLicense:Apache-2.0Stargazers:554Issues:0Issues:0

substrate

Substrate: The platform for blockchain innovators

Language:RustLicense:Apache-2.0Stargazers:8387Issues:0Issues:0

polkadot

Polkadot Node Implementation

Language:RustLicense:GPL-3.0Stargazers:7122Issues:0Issues:0

exchain

⛓️ EVM & Wasm $ IBC-compatible, OKTC is a L1 blockchain network built on top of Cosmos SDK that aims for optimal interoperability and performance ✨

Language:GoLicense:NOASSERTIONStargazers:564Issues:0Issues:0

starship

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

Language:RustLicense:ISCStargazers:44018Issues:0Issues:0

free-compiler

A Haskell to Coq compiler that represents effectful programs with the free monad

Language:HaskellLicense:BSD-3-ClauseStargazers:45Issues:0Issues:0

tagbar

Vim plugin that displays tags in a window, ordered by scope

Language:Vim ScriptLicense:NOASSERTIONStargazers:6116Issues:0Issues:0

fiber

userland threads

Language:C++Stargazers:451Issues:0Issues:0

uvw

Header-only, event based, tiny and easy to use libuv wrapper in modern C++ - now available as also shared/static library!

Language:C++License:MITStargazers:1834Issues:0Issues:0

r2d2

A generic connection pool for Rust

Language:RustLicense:Apache-2.0Stargazers:1485Issues:0Issues:0

jsonrpc-client-rs

A JSON-RPC 2.0 client in and for Rust

Language:RustLicense:NOASSERTIONStargazers:53Issues:0Issues:0

subprocess.h

🐜 single header process launching solution for C and C++

Language:CLicense:UnlicenseStargazers:1113Issues:0Issues:0

eliom

Multi-tier framework for programming web and mobile applications in OCaml.

Language:OCamlLicense:NOASSERTIONStargazers:298Issues:0Issues:0

KeyDB

A Multithreaded Fork of Redis

Language:C++License:BSD-3-ClauseStargazers:11239Issues:0Issues:0

tabby

A terminal for a more modern age

Language:TypeScriptLicense:MITStargazers:58069Issues:0Issues:0

lz4

Extremely Fast Compression algorithm

Language:CLicense:NOASSERTIONStargazers:10204Issues:0Issues:0

dynamix

:fish_cake: A new take on polymorphism

Language:C++License:MITStargazers:667Issues:0Issues:0
Language:OCamlStargazers:8Issues:0Issues:0
Language:JavaScriptLicense:NOASSERTIONStargazers:683Issues:0Issues:0

comby

A code rewrite tool for structural search and replace that supports ~every language.

Language:OCamlLicense:Apache-2.0Stargazers:2364Issues:0Issues:0

ocaml-py

Python 3.5+ bindings for OCaml

Language:OCamlLicense:ISCStargazers:57Issues:0Issues:0

pyml

OCaml bindings for Python

Language:OCamlLicense:BSD-2-ClauseStargazers:182Issues:0Issues:0

mlsub

Prototype type inference engine

Language:OCamlStargazers:191Issues:0Issues:0

macropy

Macros in Python: quasiquotes, case classes, LINQ and more!

Language:TSQLStargazers:3274Issues:0Issues:0

rules_boost

bazel build rules to use boost in bazel projects

Language:C++License:Apache-2.0Stargazers:285Issues:0Issues:0

asyncio

A c++ coroutine library making use of llvm 5.0 coroutine experimental features to dramatically simplify asynchronous logical in C++.

Language:C++License:MITStargazers:39Issues:0Issues:0

vim-ocaml

Vim runtime files for OCaml

Language:Vim ScriptStargazers:85Issues:0Issues:0