Runtime type checking for JS with Hindley Milner signatures
- hindley-milner
- type-checking
- functional-programming
- invariant
47,133 repositories indexed
25–37 of 37 · Most stars
Runtime type checking for JS with Hindley Milner signatures
Structural variant detection and association testing
We would like to maintain a list of resources which aim to solve molecular docking and other closely related tasks.
Uncensored AI models from RouterHub — the website for one-key API access to Claude, GPT, Gemini, Grok, DeepSeek, GLM and Qwen, with uncensored and abliterated variants where available. OpenAI- and Anthropic-compatible. Pay per token.
A variant of READ secure against internbombing, excessive input and macro characters.
**DEPRECATED**. Use the native and support library variants instead - https://developer.android.com/guide/topics/ui/look-and-feel/fonts-in-xml.html. An android library that makes it easy to add custom fonts to edittexts and textviews
The Kriegspiel chess variant, playable on the web
Implementation of sum/option types using QVariant
Agent Skills — agent-neutral autonomous product-building OS for 32+ AI coding tools. 23 skill categories · 28 agents · 149 reference docs · 37 platform variants. One-line prompts → deployed products on Cloudflare Workers.
OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.
AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.
Volt - A variant of Bolt OCaml logging tool
Some useful stuff including new Rendering Variant fields and NVelocity tools