An asynchronous event driven PHP socket framework. Supports HTTP, Websocket, SSL and other custom protocols.
- websocket
- timer
- socket
- event-driven
Repository Index
47,133 repositories indexed
1–23 of 23 · Most stars
A fast type checker and language server for Python
The repository host gives no description.
- openapi3
- json-schema
- protobuf
- typespec
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
- grpc
- actor-model
- actors
- cross-platform
Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby / Rust
- reverse-engineering
- protocol-analyser
- file-format
- declarative-language
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
- actors
- clustering
- proto-actor
- akka
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
SimpleITK: a layer built on top of the Insight Toolkit (ITK), intended to simplify and facilitate ITK's use in rapid prototyping, education and interpreted languages.
- simpleitk
- c-plus-plus
- swig
- registration
parser for Google ProtocolBuffers definition
Stream utilities for Java 8
Language bindings generated from the GTFS Realtime protocol buffer spec for popular languages.
[Go]Distributed Actor/Grain framework for Golang with goodies
- actor-model
- actors
- actorsystem
- golang
Diameter stack and Base Protocol (RFC 6733) for the Go programming language
QUIC protocol for Erlang & Elixir
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Delphi implementation of ZeroMQ Majordomo protocol and CZMQ high level binding
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Clojure support for protocol buffers
- clojure
- protobuf
- protobuf3
- protobuf-java
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
A Apache V2 gossip protocol implementation for D programming language.
- gossip
- gossip-protocol
- dlang