i2y
Follow
Stars
Nine small languages, one toolchain. What one checks, the next can build on.
Connect RPC for Lean 4: the Connect, gRPC and gRPC-Web protocols over HTTP/1.1 and HTTP/2
A small typed language for workflows that call business rules. Checked before it runs: every match arm, every state a payment or an order can be left in, retries that could repeat a change, history…
A little language for business rules — fees, taxes, discounts, eligibility, one step of a process. rulec proves there are no gaps, overlaps or dead rows, returns the exact input when there are, and…
A native compiler for a statically typed subset of Python, for desktop apps.
Go SSR web framework — Preact templates, htmx interactions, Islands hydration. Built on net/http.
Cross-platform window management and OS integration library for Java
WSGI/ASGI HTTP server powered by the BEAM. Mix the best of Python (AI, web apps) with Erlang (distribution, concurrency, resilience).
A gradually typed Ruby subset compiler with Hindley-Milner type inference, dual LLVM/JVM backends, and seamless Java interop.
A Python application server implemented in Envoy
a lightweight durable execution framework for Ruby that runs as a library in your application
a Go LLM client library that provides a unified API across multiple providers
A modern static site generator by the Material for MkDocs team
The Python implementation of Connect: Protobuf RPC that works.
A Model Context Protocol (MCP) server that provides D2 diagram generation and manipulation capabilities.
Convert any REST API or gRPC service into MCP tools for AI assistants
A Go adapter that bridges LangChain Go tools with Model Context Protocol (MCP) servers.
A curated list of awesome things related to Pydantic! 🌪️
How Python does AI. Agents, realtime voice, image generation, embeddings. Every model, every interface, typed end to end.
Data validation using Python type hints