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 algebraic-data-type Open-Source Projects
-
-
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.
-
-
-
ganja.js
:triangular_ruler: Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
derive4j
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Project mention: From a Lorry Driver to Ruby on Rails Developer at 38 | news.ycombinator.com | 2024-04-21I think it’s great that functional programming is making its way into traditional imperative languages - even JavaScript (I recently came across https://gcanti.github.io/fp-ts/ as a pretty extreme example)
Elixir/Erlang has function-level pattern matching, which I really like. I’ve yet to see it anywhere else, though my understanding is it came from Prolog.
My name is Aldwin. I'm back-end-leaning full-stack (web-) developer with over 13 years of full time professional experience at various software development agencies. Besides that, I have years of hobby-programming and open-source experience, with Fluture[1] being my most well-received.
I've been leading small teams for the last eight years, focusing on developer enabling work such as process management, devops, software architecture, and coaching.
I'm very passionately in particular about functional programming, and I'm hoping to coach teams when it comes to the cross-over between functional programming and software architecture - something a lot of developers who are new to FP struggle with.
Although I have been involved in a huge variety of software types, I'm particularly well-experienced when it comes to real-time, offline-first web-applications and real-time data processing.
[1]: https://github.com/fluture-js/Fluture
Project mention: The Montreal Problem: Why Programming Languages Need a Style Czar | news.ycombinator.com | 2024-03-15Some people's brains just work this way. Here's an example of a somewhat popular and regularly maintained library written in a similar style: https://github.com/enkimute/ganja.js/blob/6e97cb45d780cd7c66...
Once your learn to recognise the commonalities, you'll see examples everywhere. The most extreme and stereotypical version is the billboards written by some homeless people. You can probably picture it already in your mind's eye: A wall of very dense text with little whitespace or structure, and a mix of fonts and colours seemingly at random.
I had a brilliant mathematician friend who wrote like this. He would squeeze and entire semester's worth of study notes into a single sheet of paper, on one side. It was impenetrable gibberish to everyone else, but the colours and 2D positioning let him build a mental mind-map.
For people like this, if you reformat their code even a tiny bit, their mental map is invalidated, and they lose track of it completely and become upset. I discovered this (the hard way) when applying automatic code formatting tools to the codebases I mentioned previously.
Personally, I find this type of thing to be absolutely fascinating, because it's the intersection of many fields of study, and hence is under-studied. There's elements of pedagogy, psychology, literacy, compute science, etc...
It's an open question how we can get large groups of neurodiverse humans to collaborate on a codebase when they don't even "read" or "think" in compatible ways!
Project mention: Typical: Data interchange with algebraic data types | /r/patient_hackernews | 2023-05-22
Project mention: The Sage Compiler, Operating System, and Web-Demonstration | news.ycombinator.com | 2024-01-02Hello, yes, I'll go back and add some text examples as well.
I put all the example programs in text on the web-demo, though, if you want to see more there! You can copy, read, or modify them there!
https://adam-mcdaniel.net/sage
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).
algebraic-data-types related posts
-
From a Lorry Driver to Ruby on Rails Developer at 38
-
Type-Safe Printf() in TypeScript
-
Introducing fp-utils a functional utility library for Deno / Node
-
Blog post: graphs and monads with Typescript
-
Application Bootstrapping with fp-ts
-
What are some strategies for ensuring correctness and fewer errors in dynamically typed languages?
-
Mlstyle.jl: “Functionalprogramming.jl”
-
A note from our sponsor - InfluxDB
www.influxdata.com | 4 May 2024
Index
What are some of the best open-source algebraic-data-type projects? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | fp-ts | 10,474 |
| 2 | Fluture | 2,472 |
| 3 | folktale | 2,038 |
| 4 | functionaljava | 1,585 |
| 5 | ganja.js | 1,492 |
| 6 | purify | 1,482 |
| 7 | Mach7 | 1,270 |
| 8 | witchcraft | 1,177 |
| 9 | λ | 855 |
| 10 | datatype99 | 794 |
| 11 | derive4j | 560 |
| 12 | typical | 552 |
| 13 | kotlingrad | 508 |
| 14 | MLStyle.jl | 390 |
| 15 | scriptum | 381 |
| 16 | algae | 340 |
| 17 | remote-data-ts | 289 |
| 18 | sage | 259 |
| 19 | adt | 166 |
| 20 | dataenum | 161 |
| 21 | Rings | 71 |
| 22 | rekex | 53 |
| 23 | mutoid | 25 |
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com