🌴 Empowering everyone to build reliable and efficient smart contracts.
Repository Index
47,133 repositories indexed
1–23 of 23 · Most stars
Comlink makes WebWorkers enjoyable.
Clojure(Script)'s missing piece
Clooney is an actor library for the web. Use workers without thinking about workers.
Python API for Deequ
A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.
- functional-programming
- lazy-evaluation
- golang-library
- golang
A Clojure library for Apache Spark: fast, fully-features, and developer friendly
TypeScript written in TypeScript
a rust compiler daemon for up to 25x faster cargo builds
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
A refined core library for D programming language. The module has concurrency / collections / event / io / logging / text / serialization and more.
- event-driven
- asynchronous
- io
- concurrency
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
:awesome = Elixir's Task ++ Basho's sidejob library
An asynchronous event-driven network framework( port netty ) written in D.
- dlang
- network
- event-driven
- asynchronous
GraphQL parser for Python
Dynamic Binding for libui (https://github.com/andlabs/libui) in D
Process pools for OCaml
High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).
Elixir NIFs for interacting with llama_cpp.rust managed GGUF models.
Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.
- actor-model
- apache-flink
- distributed-systems
- event-driven
A time library for D programming language.
- time
- timezone
- chrono
- date
A Apache V2 gossip protocol implementation for D programming language.
- gossip
- gossip-protocol
- dlang