Repository Index

Socket.IO Actionscript 3 client

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action

A minimalist asyncio web framework for MicroPython.

• micropython
• asyncio
• uascynio
• http

⚽ Live football(soccer) scores, fixtures and standings for the competition you follow (World Cup, Premier League, LALIGA, Champions League and 12 more) in your terminal, your Claude Code and Cursor CLI statusline, and MCP clients. No API key. Independent fan project. Not affiliated with FIFA, any confederation, league or club, or Anthropic.

• claude-code
• cli
• football
• futbol

ActionScript AIR ORM for using client-side SQLite within AIR and Flex apps. Supports ActiveRecord style models, migrations and associations.

Micropython implementation of popular 433MHzn based RFSockets (i.e. Anslut/Proove/Nexa)

Exercise used for our recruitment process

Modern, Async, Non-Blocking, zero-dependency C++20 RFC 6455 Compliant WebSocket client & server, cross-platform, single-header, WS/WSS support.

Mutex Server using WebSocket

• mutex
• server
• critical-section
• websocket

:loop: Small wrapper around WebSocket browser API, for choo apps

Object Pascal WebSocket Client & Server Library

• delphi
• fpc
• lazarus
• linux

http library for D, support http 1.1 / http 2.0 (http2) / websocket server and client.

• http-protocol
• http2
• http-server
• http-client

akka http gremlin 3 websocket connector

• scala
• backpressure
• bulk-loader
• akka-streams

A löve websocket library

Go HTTP client w/ HTTPS and SOCKS5 Proxy Load-balancing, Failover, Retries, Authentication, and RoundTripper

• golang
• golang-library
• http
• http-client

A Cycle driver for Socket.IO clients

Portable Websocket Server for Common Lisp. THIS PROJECT HAS MOVED

JavaScript SDK for Subsocial blockchain.

• dappforce
• subsocial
• substrate
• polkadot

SOCKS4, SOCKS4a and SOCKS5 protocols implementation in Erlang/OTP.

• erlang-socks-server
• erlang
• socks4
• socks5

VBA Websocket Sample (Echo Server Client)

Custom event-based WebSockets framework for building real-time apps on Deno 🦕

• websockets
• server
• deno
• client

Translatedhigh performance net library for game server

• net
• game
• server
• protobuf

Chapter 7: Social app with Firebase and Ionic 2

Official Supabase community starter. Social media template with opinionated modern frameworks (React, TypeScript, Zustand, etc)