13 results found Sort:
- Filter by Primary Language:
- Java (4)
- Haskell (2)
- Go (1)
- HTML (1)
- JavaScript (1)
- Rust (1)
- C# (1)
- Scala (1)
- Dart (1)
- +
C# functional language extensions - a base class library for functional programming
Created
2014-11-16
3,397 commits to main branch, last one a day ago
Record builder generator for Java records
Created
2019-12-16
258 commits to master branch, last one 19 days ago
Node.js DNS over HTTPS - :tangerine: Tangerine is the best drop-in replacement for dns.promises.Resolver using DNS over HTTPS ("DoH") via undici with built-in retries, timeouts, smart server rotation,...
Created
2023-02-23
78 commits to main branch, last one 10 months ago
Extensible records, variants, structs, effects, tangles
Created
2014-12-31
571 commits to master branch, last one 2 months ago
A Haskell library for open records and variants using closed type families and type literals
Created
2018-01-18
330 commits to master branch, last one 2 years ago
Java Coding Problems, Second Edition - Published by Packt
Created
2022-11-30
375 commits to main branch, last one 2 months ago
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
Created
2019-04-25
293 commits to master branch, last one 2 years ago
Clean architecture example in Golang.
Created
2019-05-09
160 commits to master branch, last one 6 months ago
Ordo: A minimalist language with row polymorphism
Created
2018-08-12
304 commits to master branch, last one 2 months ago
Extensible records for Scala
Created
2023-09-11
381 commits to master branch, last one 11 days ago
💿 A new form of entertainment.
Created
2021-06-08
520 commits to 1.19.x branch, last one 5 months ago
Demo project illustrating new features of Java after the 8th version
Created
2021-02-01
71 commits to master branch, last one 12 days ago
Showcase and try all the new features in Dart 3: Pattern Matching, Records, Sealed classes, and much more 🎯
Created
2023-04-24
5 commits to main branch, last one about a year ago