Coq Protocol Playground with Se(xp)rialization of Internal Structures.
- coq
- serialization
- json
- sexp
Repository Index
47,133 repositories indexed
73–93 of 93 · Most stars
WebSocket server/client implementation for Common Lisp
- common-lisp
- websocket
🌏 A zero-dependency networking solution for building modern and secure iOS, watchOS, macOS and tvOS applications.
- networking
- library
- cocoapods
- swift
Hilly farm machinery scheduling system: Flask + genetic algorithm + JT/T 808 + Leaflet
Deploy machine learning models in Ruby (and Rails)
Easy CBOR encoding and decoding for iOS, macOS, tvOS and watchOS.
Background job processing for Common Lisp
- common-lisp
- message-queue
Modern, fast and ergonomic C++ HTTP/1.1, HTTP/2 and WebSocket server & client library for Linux, macOS and Windows, perfect for microservices.
- cpp
- cpp23
- http-server
- linux
Vibe is a request library for V. It utilizes a libcurl binding to enable fast and reliable requests while providing a higher-level API.
- http
- libcurl
- libcurl-bindings
- requests
A networking library for Kitura, based on SwiftNIO
- kitura
- httpserver
- swiftnio
- kitura-net
Lightweight Concurrent Networking Framework
- iamrsalman
- swift
- networking
- concurrency
Fast Native JSON Parser / Serializer for VBA, compatible with Windows and Mac
Official website of Giada Loop Machine. Powered by NodeJS, SASS, Pug and other beautiful JavaScript machineries.
Fast, zero-configuration, static HTTP filer server.
- server
- golang
- static-server
- file-server
Pure Go library for reading and writing MATLAB .mat files (v5-v7.3+). No CGo, no external dependencies. Full support for numeric types, complex numbers, and multi-dimensional arrays. Cross-platform (Windows/Linux/macOS). Part of SciGoLib ecosystem.
- cross-platform
- data-science
- go
- golang
Social platform for people with chronic diseases
- chronic-diseases
- health
- medical
- rails
Get the global cache directory
- cache
- caching
- directory
- filesystem
Crystal wrapper for The Movie DB (TMDb)
- movie-database-api
- tmdb
- crystal
- api-client
Batteries-included state machine plugin for CakePHP with PHP 8 Attributes, YAML config, audit trails, and visual admin dashboard
- cakephp-plugin
- finite-state-machine
- graph
- statemachine
DataSet File Format (DSFF)
- dataset
- file-format
- machine-learning
- python
A library to parse and manipulate an algebraic superset/semantic application of JSON