Rust port of the TypeScript 7 type checker
Find trending repositories by name or description.
Rust port of the TypeScript 7 type checker
OmO: Just type "mass ulw" keyword with your prompt. Now you are the master of graph engineering.
Data validation using Python type hints
A new type of shell
TypeScript-first schema validation with static type inference
Label Studio is a multi-type data labeling and annotation tool with standardized output format
⭐️ A friendly language for building type-safe, scalable systems!
🍍 Intuitive, type safe, light and flexible Store for Vue using the composition api with DevTools support
🤖 A client-first, server-capable, fully type-safe router and full-stack framework for the web (React and more).
A type-safe TypeScript SQL query builder
Generate type-safe code from SQL
A collection of essential TypeScript types
🤖 Type-safe, provider-agnostic TypeScript AI SDK for streaming chat, tool calling, agents, and multimodal apps across OpenAI, Anthropic, Gemini, React, Vue, Svelte, and Solid.
Straightforward, type-safe argument parsing for Swift
A GraphQL library for Python that leverages type annotations 🍓
Project Egeria's core platform providing Open Metadata and Governance support. It has an open type system, distributed knowledge graph, REST APIs, intelligent governance and pre-built content
ZIO — A type-safe, composable library for async and concurrent programming in Scala
blazing fast Vue.js toolchain. compiler, linter, type checker, formatter, lsp, story system, editors. already 30k+ tests.
DeviceKit is a value-type replacement of UIDevice.
Per-component Internationalisation solution for JS application. Type-Safe. Translate with AI. Edit Visually.
Collection of TypeScript type challenges with online judge
A type-safe, Swift-language layer over SQLite3.
The batteries-included full-stack framework for the AI era. Develop JS/TS web apps (React, Node.js, and Prisma) using declarative code that abstracts away complex full-stack features like auth, background jobs, RPC, email sending, end-to-end type safety, single-command deployment, and more.
A fast, powerful type checker designed for Ruby
🤖 Framework agnostic, type-safe store w/ reactive framework adapters
Ymir: The Type-1 Hypervisor.
The modern, community-first TypeScript toolkit with all of the fast, readable, and minimal utility functions you need. Type-safe, dependency-free, tree-shakeable, fully tested.
Fully Type-Safe Integration for React Native WebView and Web
Type-safe, K-sortable, globally unique identifier inspired by Stripe IDs
Smalltalk VM Written in Zig with methods stored as type-annotated ASTs