Coq Protocol Playground with Se(xp)rialization of Internal Structures.
- coq
- serialization
- json
- sexp
79,350 visible repositories in the index
169–192 of 211 · Most stars
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
Easily convert your SQL database into a REST API using Express.js
Knot.x is a highly-efficient and scalable integration framework designed to build backend APIs
Experimental HTTP protocol for AI agents: operation discovery, concurrency policy and human-priority scheduling.
A boilerplate for TypeScript + Node Express + Apollo GraphQL APIs.
:zap: JavaScript boilerplate for a full stack app built using React.js, Next.js, Express.js, react-bootstrap, SCSS and full SSR with eslint.
Use the MongoDB query language to query your relational database, typically from frontend.
Take control of your data, connect with anything, and expose it anywhere through protocols such as HTTP, GraphQL, and gRPC.
Quickly and easily expose Doctrine entities as REST resource endpoints with the use of simple configuration with annotations, yaml, json or a PHP array.
Pug templates for Elixir
Yet another Event Sourcing experiment. A project exploring Vert.x to develop Event Sourcing / CQRS applications.
Golang polkadot substrate scale codec
This vertx module add the ability to schedule events using cron expressions.
Go cron job scheduler — drop-in replacement for robfig/cron with runtime updates, resilience middleware, and active maintenance
Stand-alone WebSocket support for Elixir Plug — pre-Phoenix-Channels alternative for plain Plug apps.
A Go Fiber API
A GraphQL rate limiting library with query complexity analysisfor Node.js
🌺 A plug-and-play hackathon management platform; SSO, hacker leaderboard, check-ins, and more!
Patreon Go API client
Hackathon sponsorship made easy
Universal Lambda Routing
(module) A Go task scheduler for cron jobs with cron expressions, task dependency chains, execution timeouts, and graceful shutdown
A CSV reading/writing application for Elixir.
Patient API is a PoC project using Golang, Chi, PostrgreSQL among Docker and Docker compose. Exposing REST API endpoints.