function: type-system
240 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| grain-lang/grain Grain is a strongly-typed functional programming language that compiles to WebAssembly, together with its compiler toolchain and CLI. It ai… | 88 | 3468 | active |
| gluon-lang/gluon Gluon is a small, statically-typed functional programming language with type inference, implemented in Rust and designed for embedding in a… | 97 | 3435 | active |
| carthage-software/mago Mago is an extremely fast PHP toolchain written in Rust that provides linting, formatting, static analysis, and automated fixes through a u… | 85 | 3409 | active |
| bcherny/json-schema-to-typescript A TypeScript library and CLI (json2ts) that compiles JSON Schema definitions into TypeScript type declarations. It can be used programmatic… | 77 | 3337 | active |
| next-safe-action/next-safe-action next-safe-action is a TypeScript library for defining type-safe, validated Next.js Server Actions with middleware support. It works with an… | 92 | 3061 | active |
| nickel-lang/nickel Nickel is a configuration language that generates static configuration files like JSON, YAML, and XML, essentially 'JSON with functions'. I… | 91 | 2981 | active |
| explosion/thinc Thinc is a lightweight deep learning library from the makers of spaCy offering a type-checked, functional-programming API for composing neu… | 80 | 2890 | active |
| flix/flix Flix is a statically typed, effect-oriented programming language that combines functional, imperative, and logic programming paradigms, dev… | 99 | 2734 | active |
| reasonml/reason Reason is an alternative syntax and toolchain for the OCaml programming language, offering simple, fast, type-safe code with a JavaScript-f… | 91 | 10323 | maintenance |
| JoshuaKGoldberg/TypeStat TypeStat is a CLI utility that converts JavaScript files to TypeScript and improves type annotations in existing TypeScript code. It applie… | 79 | 2254 | active |
| learnhouse/learnhouse LearnHouse is a next-generation open-source learning management system (LMS) for creating, sharing, and selling educational content. It com… | 99 | 2203 | active |
| castwide/solargraph Solargraph is a Ruby language server implementing the Language Server Protocol, providing intellisense, context-aware autocompletion, inlin… | 77 | 2008 | active |
| dynamodb-toolbox/dynamodb-toolbox DynamoDB-Toolbox is a lightweight, type-safe query builder and abstraction layer over the AWS DynamoDB Document Client for TypeScript. It p… | 95 | 2001 | active |
| haskell-servant/servant Servant is a Haskell DSL for describing web APIs at the type level, from which servers, clients, mocks, and documentation can be derived. I… | 77 | 1966 | active |
| tsrpc/tsrpc TSRPC is a TypeScript RPC framework providing runtime type checking and binary serialization derived directly from TypeScript types, withou… | 63 | 1932 | active |
| graphql-hive/graphql-scalars A TypeScript library of custom GraphQL scalar types (e.g., DateTime, EmailAddress, UUID, BigInt, URL) for building precise, type-safe Graph… | 94 | 1930 | stable |
| MadAppGang/dingo Dingo is a meta-language for Go that adds Result types, error propagation with ?, pattern matching, sum types, tuples, and safe navigation,… | 68 | 1911 | active |
| spatie/laravel-data A Laravel package for creating rich, typed data objects that can replace form requests, API transformers, and TypeScript definitions. Data … | 89 | 1782 | stable |
| matz/spinel Spinel is an ahead-of-time compiler that translates Ruby source code into standalone native executables via whole-program type inference an… | 59 | 1771 | active |
| JetBrains/MPS JetBrains MPS is an open-source meta-programming system (language workbench) for designing domain-specific languages with a complete develo… | 77 | 1656 | stable |
| jeffijoe/typesync TypeSync is a CLI tool that scans your package. and installs missing TypeScript type definition (@types) packages for your dependencies. It… | 61 | 1584 | active |
| encode/apistar API Star is a Python toolkit for working with OpenAPI and Swagger schemas, providing schema validation, static API documentation generation… | 10 | 5543 | maintenance |
| ivov/lisette Lisette is a small programming language inspired by Rust that compiles to readable Go, featuring Hindley-Milner type inference, algebraic d… | 77 | 1488 | active |
| vue-vine/vue-vine Vue Vine is an alternative style for writing Vue.js components that allows multiple components in a single TypeScript file, as a parallel a… | 85 | 1444 | active |
| py2many/py2many py2many is a Python-based source-to-source transpiler that converts Python code into multiple statically-typed languages including Rust, C+… | 87 | 1308 | active |
| RobinBlomberg/kysely-codegen A CLI tool that generates Kysely TypeScript type definitions by introspecting your database schema. It supports PostgreSQL, MySQL, SQLite, … | 67 | 1230 | active |
| CakeML/cakeml CakeML is a functional programming language based on a substantial subset of Standard ML, together with a formally verified compiler that i… | 95 | 1190 | active |
| MikePopoloski/slang slang is a fast, highly compliant SystemVerilog frontend library providing lexing, parsing, type checking, and elaboration, plus a CLI tool… | 86 | 1127 | active |
| contentlayerdev/contentlayer Contentlayer is a content SDK that validates and transforms Markdown, MDX, and CMS content into type-safe JSON data you can import directly… | 23 | 3536 | maintenance |
| stepci/garph Garph is a fullstack GraphQL framework for TypeScript that lets you build GraphQL APIs with a tRPC-style schema builder and no codegen. It … | 31 | 1313 | maintenance |
| MLstate/opalang Opa is a functional programming language for web development that compiles to JavaScript, letting developers write frontend and backend cod… | 23 | 1264 | maintenance |
| vercel-labs/zerolang Zerolang is an experimental programming language where a semantic graph serves as the program database, designed so AI agents author code v… | 74 | 5344 | experimental |
| leostera/caramel Caramel is a functional programming language that compiles OCaml-style source code to run on the Erlang VM (BEAM), combining OCaml's type s… | 10 | 1106 | maintenance |
| koka-lang/koka Koka is a strongly typed functional programming language with a polymorphic effect type system and algebraic effect handlers, developed as … | 90 | 4046 | experimental |
| WeaveMindAI/weft Weft is a programming language (currently a POC) where LLMs, humans, APIs, and infrastructure are first-class primitives for building AI or… | 59 | 1905 | experimental |
| evincarofautumn/kitten Kitten is a statically typed, stack-based concatenative programming language with Hindley-Milner type inference and an effect/permission sy… | 32 | 1168 | experimental |
| zesterer/tao Tao is a statically-typed functional programming language implemented in Rust, featuring generics, typeclasses, sum types, pattern matching… | 38 | 1161 | experimental |
| microsoft/BosqueLanguage Bosque is an experimental programming language from Microsoft combining functional semantics with block-based syntax, designed for regulari… | 10 | 5210 | abandoned |
| samdenty/gqless gqless is a TypeScript GraphQL client that lets you query GraphQL APIs by simply accessing typed objects, generating queries automatically … | 23 | 3656 | abandoned |
| move-language/move The original home of the Move programming language, a Rust-based language and toolchain for safe smart-contract development on blockchains.… | 10 | 2331 | abandoned |
← prev page 3 / 3