The repository for high quality TypeScript type definitions.
- typescript
- definition
- dts
- types
Repository Index
47,133 repositories indexed
1–24 of 125 · Most stars
Non-autoregressive System 1 decision engine. Typed choice, score and yes/no decisions over any text in a single forward pass, in 100+ languages, with a router that picks the right checkpoint per request.
- calibration
- classification
- decision-model
- huggingface
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
How Python does AI. Agents, realtime voice, image generation, embeddings. Every model, every interface, typed end to end.
- agent-framework
- pydantic
- python
- genai
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
A JavaScript Typing Animation Library
A popular .NET validation library for building strongly-typed validation rules.
Strong typed, autocompleted resources like images, fonts and segues in Swift projects
A strongly-typed language that compiles to JavaScript
- haskell
- purescript
- javascript
- typed-language
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
Make your functions return something meaningful, typed, and safe!
- python
- python3
- functional-programming
- fp
📱 A strongly-typed, caching GraphQL client for iOS, written in Swift.
- swift
- graphql-client
- apollo-ios
- ios
:rocket: A strongly-typed, caching GraphQL client for the JVM, Android, and Kotlin multiplatform.
This strongly-typed, client library enables working with Elasticsearch. It is the official client maintained and supported by Elastic.
- elasticsearch
- nest
- c-sharp
- dot-net
WarpDrive is the lightweight data library for ambitious web apps — universal, typed, reactive, and ready to scale.
- ember
- data-framework
- data-loading
- data-patterns
Read and analyze SEC EDGAR filings in Python. 10-K, 8-K, XBRL financials, Form 3/4/5, 13F, ADV — clean API, well-typed, MIT-licensed.
- 10-k
- 10-q
- balance-sheet
- edgar
Pothos GraphQL is library for creating GraphQL schemas in typescript using a strongly typed code first approach
- graphql
- typescript
Collection of awesome Python types, stubs, plugins, and tools to work with them.
- python
- mypy
- python-stubs
- mypy-stubs
PEP-484 stubs for Django
- mypy
- django
- python
- python3
Object-storage native graph database with branching and typed ontology
- apache-arrow
- datafusion
- graph-database
- knowledge-graph
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
- functional-programming
- common-lisp
- type-safety
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
- liquidsoap
- streaming
- webradio
Strongly typed exceptions for Entity Framework Core. Supports SQLServer, PostgreSQL, SQLite, Oracle and MySql.
- entity-framework-core
- netcore2
- sql-server
- postgresql
Turn any LLM into a Jev-style decision model: typed decisions, real probabilities, no training. (continue updating, welcome any issue and PR request)
- calibration
- decision-model
- jev
- jev-model