Solidity, the Smart Contract Programming Language
Repository Index
47,133 repositories indexed
1–24 of 33 · Most stars
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Optimizing compiler for React
- hacktoberfest
- million
- millionjs
- virtual-dom
Vert.x is a tool-kit for building reactive applications on the JVM
- vertx
- java
- netty
- reactive
🚀 gnet is a high-performance, lightweight, non-blocking, event-driven networking framework written in pure Go.
- event-driven
- event-loop
- networking
- non-blocking
Event-driven, non-blocking I/O with PHP.
- reactphp
- php
Annotations Docblock Parser
- hacktoberfest
High performance, maintainable stylesheets.
Translated📌 Asynchronous thread pool framework, support Thread Pool Dynamic Change & monitoring & Alarm, no need to modify the code easily introduced.
- java
- thread-pool
- dynamic
- monitor
A high-performance non-blocking I/O networking framework focusing on RPC scenarios.
- rpc
- golang
- network-programming
- net
A non-blocking concurrency framework for PHP applications. 🐘
- php
- async
- coroutines
- promises
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
Lightweight library for web server applications in Swift on macOS and Linux powered by coroutines.
- swift
- coroutines
- synchronous-apis
- server-side-swift
Coroutines, structured concurrency and CSP for Swift on macOS and Linux.
- coroutines
- venice
- server-side-swift
- server
non-blocking concurrency-limiting goroutine pool
- worker-pool
- concurrency
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
- gno
- gnoland
- gnolang
- bft
To help gophers generate QR Codes with customized styles, such as color, block size, block shape, and icon.
- qrcode
- golang
- colorful
- adjustable
Low-overhead, non-blocking I/O, external Process implementation for Java
A slice of functional programming to chain ruby services and blocks, thus providing a new approach to flow control. Make them flow!
Vert.x for Kotlin
- kotlin
- vertx
- coroutines
- async
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
Subwasm is a cli utility to look inside a Substrate WASM Runtime. It can inspect and compare the metadata of Substrate based runtimes such as Polkadot or Kusama.
A rusty sdk for Algorand.
Load Common Lisp code blocks from Org files
- literate
- programming
- lisp
- org