Typesystem

Open-source projects categorized as Typesystem
Edit details
Language: + TypeScript + Erlang + Kotlin + Lua + Rust
Topics: Meta Type System Rust Typeclasses Code
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.
www.influxdata.com
featured

Top 6 Typesystem Open-Source Projects

  • Gradualizer

    A Gradual type system for Erlang

  • Arrow Meta

    Functional companion to Kotlin's Compiler

  • SurveyJS

    Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.

    SurveyJS logo

  • metatype

    Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.

    • Project mention: Build declaratively back ends and APIs with GraphQL or REST | /r/hypeurls | 2023-08-14

  • TypeGame

    👾 Sokoban Game in Pure TypeScript Type System

  • NattLua

    luajit with a typesystem

  • type-inferencer

    hindley-milner algorithm

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).

Typesystem related posts

  • eqwalizer VS Gradualizer - a user suggested alternative

    2 projects | 17 Apr 2023

  • [New] How do you verify program correctness in Elixir?

    6 projects | /r/elixir | 23 Sep 2022

  • Tenha brio com sistemas de tipos

    4 projects | dev.to | 20 Jul 2022

  • OCaml Programming: Correct and Efficient and Beautiful

    2 projects | news.ycombinator.com | 24 Jun 2022

  • Sokoban Game Written in Pure TypeScript Type System

    1 project | news.ycombinator.com | 10 Jan 2022

  • GitHub - fc01/TypeGame: 👾 Sokoban Game in Pure TypeScript Type System

    1 project | /r/typescript | 16 Sep 2021

  • Elixir and Phoenix after two years

    2 projects | /r/programming | 21 Apr 2021
  • A note from our sponsor - SaaSHub
    www.saashub.com | 15 May 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

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

Project Stars
1 Gradualizer 607
2 Arrow Meta 389
3 metatype 312
4 TypeGame 275
5 NattLua 75
6 type-inferencer 49

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