Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Type System Open Source Projects

Open source projects categorized as Type System
Categories  > Type System
Edit Category
type-challenges/type-challenges ⭐ 38,595
Collection of TypeScript type challenges with online judge
dependent packages 0 total releases 0 most recent commit over 2 years ago
graphql/graphql-spec ⭐ 14,171
GraphQL is a query language and execution engine tied to any backend service.
dependent packages 0 total releases 0 most recent commit over 2 years ago
vaticle/typedb ⭐ 3,623
TypeDB: the polymorphic database powered by types
dependent packages 0 total releases 0 most recent commit over 2 years ago
Frege/frege ⭐ 3,562
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
dependent packages 0 total releases 0 most recent commit over 3 years ago
sdiehl/write-you-a-haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
dependent packages 0 total releases 0 most recent commit over 6 years ago
amilajack/reading ⭐ 2,285
A list of computer-science readings I recommend
dependent packages 0 total releases 0 most recent commit almost 4 years ago
aardappel/lobster ⭐ 2,064
The Lobster Programming Language
dependent packages 0 total releases 0 most recent commit over 2 years ago
clojure/core.typed ⭐ 1,237
An optional type system for Clojure
dependent packages 0 total releases 0 most recent commit over 4 years ago
neugram/ng ⭐ 914
scripting language integrated with Go
dependent packages 0 total releases 0 most recent commit almost 7 years ago
onelang/OneLang ⭐ 872
dependent packages 0 total releases 0 most recent commit almost 5 years ago
Get A Weekly Email With Trending Type System Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

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

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