Runtime type checking for JS with Hindley Milner signatures
- hindley-milner
- type-checking
- functional-programming
- invariant
47,133 repositories indexed
1,321–1,344 of 2,045 · Most stars
Runtime type checking for JS with Hindley Milner signatures
A correct and safe(er) JSON RFC 8259 reader/writer with sane defaults.
cheek: a pico-sized declarative job scheduler
Hyrax is a Ruby on Rails Engine built by the Samvera community. Hyrax provides a foundation for creating many different digital repository applications.
Automated S-expression conversion
TaskBunny is a background processing application written in Elixir and uses RabbitMQ as a messaging backend
An object-oriented Steam API wrapper for Node.js developers.
Universal process manager built in Deno
Normalize GraphQL responses for persisting in the client cache/state
gRPC Network Operations Interface (gNOI) defines a set of gRPC-based microservices for executing operational commands on network devices.
Expertiza is a web application through which students can submit and peer-review learning objects (articles, code, web sites, etc). The Expertiza project is supported by the National Science Foundation.
state machine which runs code
Elixir REST toolkit on Plug — pipeline-style routing and response handling for HTTP APIs.
A Rails esque web framework with a focus on speed and extensibility for crystal lang
Simplified snapshots and restoration for ActiveRecord models and associations with a transparent white-box implementation
Well-tested GCD Timer in Swift
a package for decode form's values into struct in Go
GraphQL implementation in Lua
Node.js FHIR client library
Run locally-installed node module executables.
Create flexible REST endpoints and controllers from Sequelize models in your Express app
Advanced F# Support for LiteDB, an embedded NoSql database for .NET with type-safe query expression through F# quotations
⚡️ A lightning fast HTTP router
Goma Gateway – Lightweight, High-Performance API Gateway and Reverse Proxy with declarative config, robust middleware, and support for REST, GraphQL, TCP, UDP, and gRPC.