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
about 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
about 2 years ago
vaticle/typedb
⭐
3,623
TypeDB: the polymorphic database powered by types
dependent packages
0
total releases
0
most recent commit
about 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
over 3 years ago
aardappel/lobster
⭐
2,064
The Lobster Programming Language
dependent packages
0
total releases
0
most recent commit
about 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.
Type System
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
