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 - Functional companion to Kotlin's Standard Library
Created
2017-03-24
5,869 commits to main branch, last one 8 days ago
The pure asynchronous runtime for Scala
Created
2017-04-08
7,080 commits to series/3.x branch, last one 7 days ago
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Created
2018-10-05
273 commits to master branch, last one 2 years ago
Easy, fast, transparent generic derivation of typeclass instances
Created
2017-06-06
822 commits to scala3 branch, last one 9 days ago
Smart, pythonic, ad-hoc, typed polymorphism for Python
Created
2019-10-25
372 commits to master branch, last one about a year ago
Functional programming toolbox
Created
2019-04-04
1,816 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 2 months ago
cats transformer type classes.
Created
2017-04-23
1,053 commits to main branch, last one 12 days ago
Full-featured interfaces for C99
Created
2021-05-26
243 commits to master branch, last one 2 months ago
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
Created
2011-05-13
727 commits to master branch, last one 2 months ago
Tiny independent libraries with a single purpose, often a single class
Created
2015-11-24
345 commits to master branch, last one a day ago
Cheat Sheets for programming languages and tools
Created
2014-02-24
299 commits to master branch, last one 8 months ago
Functional Programming library for Java
Created
2018-07-24
1,655 commits to master branch, last one 3 days 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 2 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 6 months 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 about a year ago
Principled, fast, typeclass derivation.
Created
2018-07-08
656 commits to master branch, last one 25 days ago
Playing with type systems
Created
2021-10-15
29 commits to main branch, last one 2 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
111 commits to base branch, last one about a year ago