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–24 of 25 · Most stars
A fast type checker and language server for Python
An autocompletion daemon for the Go programming language
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
A best-of-breed language with a holistic approach to moving the needle
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.
A Bitcoin Script Interpreter and Debugger in Scala
Fully featured Go (golang) command line option parser with built-in auto-completion support.
- option-parser
- golang
- cli
- getopt
The Google Protocol Buffers implementation in Ada
Bitcoin Protocol components in Common Lisp
- bitcoin
- common-lisp
- cryptography
- bitcoin-api
A vibe.d library to handle the GraphQL Protocol written in the D Programming Language
- dlang
- graphql
- d
- vibe-d
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Small-C Compiler, Assembler, Linker, Make tool, and Library for 16-bit MS-DOS.
- 16-bit
- 8086
- compiler
- devkit