Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Type System Open Source Projects

Open source projects categorized as Type System
Categories > Type System
Type Challenges ⭐ 38,595
Collection of TypeScript type challenges with online judge
most recent commit 3 months ago
Typedb ⭐ 3,623
TypeDB: the polymorphic database powered by types
dependent packages 5total releases 24most recent commit 3 months ago
Frege ⭐ 3,562
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
total releases 3most recent commit 2 years ago
Write You A Haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
most recent commit 5 years ago
Reading ⭐ 2,285
A list of computer-science readings I recommend
most recent commit 2 years ago
Lobster ⭐ 2,064
The Lobster Programming Language
most recent commit 3 months ago
Core.typed ⭐ 1,237
An optional type system for Clojure
dependent packages 4total releases 5most recent commit 2 years ago
Crosshair ⭐ 924
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 45most recent commit 3 months agopypi crosshair-tool} Downloads
Ng ⭐ 914
scripting language integrated with Go
total releases 1most recent commit 5 years ago
Onelang ⭐ 872
dependent packages 4total releases 7most recent commit 3 years agonpm onelang} Downloads
Urweb ⭐ 776
The Ur/Web programming language
most recent commit 5 months ago
Meta Typing ⭐ 764
📚 Functions and algorithms implemented purely with TypeScript's type system
most recent commit 2 years ago
Datatype99 ⭐ 749
Algebraic data types for C99
total releases 1most recent commit 3 months ago
Oden ⭐ 738
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
most recent commit 7 years ago
Gradualizer ⭐ 591
A Gradual type system for Erlang
most recent commit 7 months ago
Hypescript ⭐ 568
🐬 A simplified implementation of TypeScript's type system written in TypeScript's own type system
most recent commit 2 years ago
Spectrum ⭐ 562
total releases 12most recent commit 3 years ago
Deeptype ⭐ 516
Code for the paper "DeepType: Multilingual Entity Linking by Neural Type System Evolution"
most recent commit 5 years ago
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1most recent commit 3 years ago
Rogue ⭐ 496
MOVED - The project is still under development but this page is deprecated.
dependent packages 5total releases 28most recent commit 8 years ago
Typedlua ⭐ 445
An Optional Type System for Lua
most recent commit 4 years ago
Finitio ⭐ 398
Finitio is a language for validating, coercing and documenting data.
dependent packages 3total releases 22most recent commit a year agorubygems finitio} Downloads
Contracts ⭐ 385
PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified using Python3 annotations, or inside a docstring. PyContracts supports a basic type system, variables binding, arithmetic constraints, and has several specialized contracts and an extension API.
dependent packages 30total releases 40most recent commit 2 years agopypi PyContracts} Downloads
The 10 Most Depended On Type System Open Source Projects
Go Cty ⭐ 319
A type system for dynamic values in Go applications
dependent packages 3,314total releases 52latest release October 06, 2023most recent commit 3 months ago
Pgtype ⭐ 278
dependent packages 2,755total releases 57latest release February 11, 2023most recent commit 3 months ago
Webidl Conversions ⭐ 23
Implements the Web IDL algorithms for converting to and from JavaScript values
dependent packages 998total releases 16latest release September 12, 2021most recent commit 3 years agonpm webidl-conversions} Downloads
Type Plus ⭐ 333
Additional types and types adjusted utilities for TypeScript
dependent packages 67total releases 162latest release September 13, 2023most recent commit 3 months agonpm type-plus} Downloads
Mir Algorithm ⭐ 168
Dlang Core Library
dependent packages 29total releases 619latest release August 02, 2023most recent commit 9 months agodub mir-algorithm} Downloads
N4js ⭐ 28
dependent packages 29total releases 63latest release April 01, 2019most recent commit 3 months agonpm n4js-node} Downloads
Typewise ⭐ 17
Typewise structured sorting for arbirarily complex data structures
dependent packages 23total releases 12latest release June 19, 2015most recent commit 7 years agonpm typewise} Downloads
Dmx Platform ⭐ 84
DMX Knowledge Building Platform
dependent packages 21total releases 19latest release September 03, 2018most recent commit 3 months ago
Tokio Imap ⭐ 115
Tokio-based IMAP implementation
dependent packages 11total releases 30latest release November 06, 2023most recent commit 5 months agocargo imap-proto} Downloads
The 10 Latest Releases In Type System Open Source Projects
Typeql ⭐ 206
TypeQL: the polymorphic query language of TypeDB
dependent packages 1total releases 7latest release December 04, 2023most recent commit 3 months agocargo typeql} Downloads
Lemmy Js Client ⭐ 131
A javascript / typescript http and websocket client and type system for Lemmy.
dependent packages 6total releases 226latest release November 29, 2023most recent commit 3 months agonpm lemmy-js-client} Downloads
Rmc ⭐ 6
rmc - Racket-Made C
latest release November 27, 2023most recent commit 7 years ago
Aws_sdk.nim ⭐ 24
latest release November 27, 2023most recent commit 6 years ago
Nullawayannotator ⭐ 11
A tool to help adapting code bases to NullAway type system.
total releases 12latest release November 17, 2023most recent commit 4 months ago
Rest ⭐ 10
A simple go web request router that respects Go's type system
latest release November 12, 2023most recent commit 10 years ago
Crosshair ⭐ 924
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 45latest release November 10, 2023most recent commit 3 months agopypi crosshair-tool} Downloads
Tokio Imap ⭐ 115
Tokio-based IMAP implementation
dependent packages 11total releases 30latest release November 06, 2023most recent commit 5 months agocargo imap-proto} Downloads
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.