Typechecker

Open-source projects categorized as Typechecker
Edit details
Language: + Python + Rust + TypeScript + OCaml + Ruby + F# + Elixir
Topics: Python Types Typing Linter JavaScript
The modern identity platform for B2B SaaS
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
workos.com
Sponsored

Top 14 Typechecker Open-Source Projects

  • TypeScript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

    • Project mention: TypeScript Essentials: Distinguishing Types with Branding | news.ycombinator.com | 2024-04-24

    Dedicated syntax for creating unique subsets of a type that denote a particular refinement is a longstanding ask[2] - and very useful, we've experimented with implementations.[3]

    I don't think it has any relation to runtime type checking at all. It's refinement types, [4] or newtypes[5] depending on the details and how you shape it.

    [1] https://github.com/microsoft/TypeScript/blob/main/src/compil...

  • mypy

    Optional static typing for Python

    • Project mention: The GIL can now be disabled in Python's main branch | news.ycombinator.com | 2024-03-11

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • pyre-check

    Performant type-checking for python.

    • Project mention: Pylyzer – A fast static code analyzer and language server for Python | news.ycombinator.com | 2024-04-11

    Did you come across pyre in your search? MIT license and pretty fast.

    https://github.com/facebook/pyre-check

  • pytype

    A static type analyzer for Python code

    • Project mention: Enhance Your Project Quality with These Top Python Libraries | dev.to | 2024-03-18

    Pytype checks and infers types for your Python code - without requiring type annotations. Pytype can catch type errors in your Python code before you even run it.

  • ezno

    A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance

    • Project mention: Ezno's checker (Rust based type checker and compiler) is now open source | /r/typescript | 2023-06-08

  • steep

    Static type checker for Ruby

    • Project mention: A decent VS Code and Ruby on Rails setup | news.ycombinator.com | 2024-02-21

    I saw no mention of RBS+Steep, the latter providing a LSP. I use it a lot and very much like it, although it's still young and needs love, but it's making good, steady progress! I've been very pleasantly surprised by some of the crazy things Steep can catch, completely statically!

    You appear to be working on projects with Sorbet (which I tried to like but found it fell short in practice, notably outside of the app use case i.e it's mostly useless for gems) so it may be a tall order to try on those. Maybe you can give RBS+Steep a shot on some small project?

    RBS: https://github.com/ruby/rbs

    RBS collection (for those gems that don't ship RBS signatures in `sig`, integrates with bundler): https://github.com/ruby/gem_rbs_collection

    Steep: https://github.com/soutaro/steep

    VS Code: https://github.com/soutaro/steep-vscode

    Sublime Text: https://github.com/sublimelsp/LSP

    Vim (I'm working on it): https://github.com/dense-analysis/ale/pull/4671

  • Rezoom.SQL

    Statically typechecks a common SQL dialect and translates it to various RDBMS backends

    • Project mention: Gente con experiencia: con qué nueva tecnología, lenguaje de programación o framework debería actualizarme hoy? | /r/devsarg | 2023-07-05

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo

  • hammox

    🏝 automated contract testing via type checking for Elixir functions and mocks

  • enforce

    Python 3.5+ runtime type checking for integration testing and data validation

  • ts-runtime

    Runtime Type Checks for TypeScript

  • pyanalyze

    A Python type checker

    • Project mention: GitHub - quora/pyanalyze: A Python type checker | /r/Python | 2023-05-24

  • mamba

    🐍 The Mamba programming language, because we care about safety (by JSAbrahams)

  • language-incubator

    Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.

  • django-urlconfchecks

    A package for type-checking the URLs and associated views for Django

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Typechecker related posts

Index

What are some of the best open-source Typechecker projects? This list will help you:

Project Stars
1 TypeScript 97,944
2 mypy 17,506
3 pyre-check 6,687
4 pytype 4,536
5 ezno 2,179
6 steep 1,322
7 Rezoom.SQL 665
8 hammox 547
9 enforce 542
10 ts-runtime 480
11 pyanalyze 302
12 mamba 85
13 language-incubator 56
14 django-urlconfchecks 54

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com