22 results found Sort:
- Filter by Primary Language:
- Scala (8)
- Kotlin (3)
- C (3)
- HTML (1)
- Java (1)
- Julia (1)
- OCaml (1)
- Python (1)
- TeX (1)
- Coq (1)
- Haskell (1)
- +
Λrrow - The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
Created
2017-03-24
5,936 commits to main branch, last one 4 days ago
The pure asynchronous runtime for Scala
Created
2017-04-08
7,447 commits to series/3.x branch, last one a day ago
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Created
2018-10-05
273 commits to master branch, last one 3 years ago
Easy, fast, transparent generic derivation of typeclass instances
Created
2017-06-06
833 commits to scala3 branch, last one about a month ago
Smart, pythonic, ad-hoc, typed polymorphism for Python
Created
2019-10-25
376 commits to master branch, last one 4 days ago
Functional programming toolbox
Created
2019-04-04
1,849 commits to master branch, last one 9 days ago
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
Created
2019-10-03
1,288 commits to second-edition branch, last one about a year ago
Functional companion to Kotlin's Compiler
Created
2019-10-24
668 commits to main branch, last one 8 months ago
cats transformer type classes.
Created
2017-04-23
1,093 commits to main branch, last one 6 days ago
Full-featured interfaces for C99
Created
2021-05-26
249 commits to master branch, last one 20 days ago
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
Created
2011-05-13
733 commits to master branch, last one about a month ago
Functional Programming library for Java
Created
2018-07-24
1,762 commits to master branch, last one a day ago
Tiny independent libraries with a single purpose, often a single class
Created
2015-11-24
346 commits to master branch, last one 4 months ago
Cheat Sheets for programming languages and tools
Created
2014-02-24
299 commits to master branch, last one about a year ago
:books: A demonstration of implementing a "type-safe" lazy iterator interface in pure C99
Created
2021-05-02
124 commits to master branch, last one 3 years 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 3 years ago
Full-featured traits in Julia. Without full features how dare I say this?
Created
2019-09-01
42 commits to master branch, last one about a year ago
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
This repository has been archived
(exclude archived)
Created
2019-11-07
66 commits to main branch, last one 2 years ago
Principled, fast, typeclass derivation.
Created
2018-07-08
693 commits to master branch, last one 6 days ago
Playing with type systems
Created
2021-10-15
29 commits to main branch, last one 3 years ago
Ideas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C
Created
2021-06-03
20 commits to master branch, last one 3 years ago
Configured derivation library for scala 3
Created
2022-06-23
112 commits to base branch, last one 3 months ago