3 projects
refined-types
Annotated-based refinement types for Python — with first-class Pydantic v2 integration. A practical projection of Σ-types into a language without dependent types.
neural-dispatch
Use metadata-rich embeddings to connect your user intents with the right tools in a single pass
explicit-sql
Human mind friendly SQL generator
