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–16 of 16 · Most stars
A fast type checker and language server for Python
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
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
parser for Google ProtocolBuffers definition
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.
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