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. Learn more →
Top 23 Type System Open-Source Projects
-
-
-
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.
-
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
-
HypeScript
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
-
zui
Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.
-
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.
-
fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧 (by yeslogic)
-
-
-
-
-
-
libGimbal
C17-based extended standard library, cross-language type system, and unit testing framework targeting Sega Dreamcast, Sony PSP and PSVita, Windows, Mac, Linux, Android, iOS, and WebAssembly.
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
View on GitHub
I highly recommend https://github.com/sdiehl/write-you-a-haskell as it is very developer friendly. It’s not complete, but it really gets the gears turning and will set you up for writing your own Hendley-Milner style type checker.
Project mention: Functions and algorithms implemented purely with TypeScript's type system | /r/patient_hackernews | 2023-07-05
That’s just how type programming looks.
Here’s (https://github.com/unional/type-plus/blob/main/packages/type...) a human written example that’s well-factored and uses loads of subtypes to clarify what it’s doing - but it’s still going to read like the black tongue of Mordor to you if you’re not familiar with how this kind of type stuff is structured and used.
And factoring all that stuff out may help readability but it doesn’t help comprehension - try and trace what the actual underlying type definitions for some of those utility types like IdentityEqual<> are actually doing (look at https://github.com/unional/type-plus/blob/main/packages/type...) and realize the rabbit hole runs deep in this stuff.
There has been a considerable effort in the last few years to try and standardise the way in which these type of APIs are implemented via different frameworks. However, over the last few years, a new type of functionality has become more and more popular: machine learning (ML) models; and the existing frameworks for building APIs are not well suited for this type of functionality. In this series of posts, we will learn how to build APIs using a Framework for the development of Lightweight Applications and Machine-learning Automation, also known as Flama.
Project mention: Complete Beginner tasked with ML at work - where do I start | /r/learnmachinelearning | 2023-06-27This one works pretty well: https://github.com/dylan-profiler/visions
Project mention: Engineer creates CPU from scratch in two weeks – begins work on GPUs | news.ycombinator.com | 2024-04-15Verilog is kind of trash by modern standards. Unfortunately we are stuck with it (well SystemVerilog) until tool vendors support something else.
It's kind of a similar situation to JavaScript actually. And in a similar way, you can compile to Verilog, but just like with JS it makes debugging much more painful.
There was this interesting project but it seems inactive: https://llhd.io/
There's also various alternative HDLs that seem to have various levels of solving the wrong problem (SpinalHDL, MyHDL, Chisel). This one looks quite interesting though: https://filamenthdl.com/
Project mention: Cicada – A FOSS, Cross-Platform Version of GitHub Actions and Gitlab CI | news.ycombinator.com | 2023-11-06There is a collision in names:
Cicada, this CI tool, uses a DSL (domain specific language) to write configuration, and this DSL is referred to as "Cicada language", and blasted in marketing copy as a "real programming language" on https://cicada.sh/
However, this is a completely different language from Cicada language, a programming language and theorem prover hosted at https://cicada-lang.org/ and https://github.com/cicada-lang/cicada
This name collision is very confusing, and I wonder why Cicada the CI tool didn't just stick to python, since it is also a "real programming language"
I'm a huge academic fan of what GTk has accomplished (thanks to their GObject type system), and as much as I know the C89 crowd who thinks macros are all evil probably abhor this kind of thing, I think GTk is one of the most epic, impressive, ambitious C codebases in existence. Witness as non-OO C matches, rivals, and quite often beats Qt on equivalent classes/features in plain C... It's even above "just C++ style C," as they have added features like a property and signal system...
Such a fanboy it inspired my own type system and massive core library, libgimbal, which uses a type system similar to GObject and targets game consoles like the Sega Dreamcast: https://github.com/gyrovorbis/libgimbal
Project mention: [microblog] Reasoner.js: a functional-logic framework for automated reasoning | /r/ProgrammingLanguages | 2023-11-19As usual, there is online playground and the project home page.
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).
Type System related posts
-
Engineer creates CPU from scratch in two weeks – begins work on GPUs
-
Collection of TypeScript type challenges with online judge
-
Show HN: Python-Type-Challenges, master Python typing with online exercises
-
How much I learn about typescript in 2 weeks
-
📜 Length of String in TypeScript
-
Type-challenges: Collection of TypeScript type challenges with online judge
-
Complete Beginner tasked with ML at work - where do I start
-
A note from our sponsor - InfluxDB
www.influxdata.com | 8 May 2024
Index
What are some of the best open-source Type System projects? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | type-challenges | 40,097 |
| 2 | grakn | 3,673 |
| 3 | write-you-a-haskell | 3,304 |
| 4 | HypeScript | 1,902 |
| 5 | zui | 1,734 |
| 6 | meta-typing | 1,523 |
| 7 | datatype99 | 794 |
| 8 | Gradualizer | 607 |
| 9 | typetype | 405 |
| 10 | type-plus | 353 |
| 11 | TypeGame | 275 |
| 12 | interface99 | 262 |
| 13 | fathom | 257 |
| 14 | flama | 255 |
| 15 | visions | 199 |
| 16 | morloc | 193 |
| 17 | filament | 126 |
| 18 | cicada | 0 |
| 19 | typelevel-rewrite-rules | 61 |
| 20 | libGimbal | 63 |
| 21 | uom-plugin | 30 |
| 22 | reasoner.js | 28 |
| 23 | anders | 17 |
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com