25 results found Sort:
- Filter by Primary Language:
- Scala (5)
- C (3)
- Go (3)
- C++ (3)
- F# (2)
- Python (2)
- Rust (1)
- Haskell (1)
- Erlang (1)
- Agda (1)
- HTML (1)
- Java (1)
- Kotlin (1)
- +
Generic programming for Scala
Created
2011-12-18
2,740 commits to main branch, last one 24 days ago
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Created
2016-10-17
313 commits to master branch, last one 3 months ago
Scala library for boilerplate-free, type-safe data transformations
Created
2017-05-23
1,510 commits to master branch, last one a day ago
Easy, fast, transparent generic derivation of typeclass instances
Created
2017-06-06
866 commits to scala3 branch, last one a day ago
[Start here!] Flow-IPC - Modern C++ toolkit for high-speed inter-process communication (IPC)
Created
2023-11-16
1,198 commits to main branch, last one 6 hours ago
All generic functions for Go you ever need!
Created
2019-09-13
372 commits to master branch, last one 3 months ago
Full-featured interfaces for C99
Created
2021-05-26
249 commits to master branch, last one 2 months ago
Practical generic programming for F#
Created
2016-07-22
595 commits to main branch, last one 11 days ago
Templated type-safe hashmap implementation in C using open addressing and linear probing for collision resolution.
Created
2016-11-10
69 commits to master branch, last one about a year ago
Unintrusive algorithms for C arrays OR a C implementation of <algorithm> from C++
Created
2023-07-04
8 commits to master branch, last one about a year ago
Small utility library for coroutine-driven asynchronous generic programming in Python
Created
2016-10-14
151 commits to master branch, last one 12 months ago
FsConfig is a F# library for reading configuration data from environment variables and AppSettings with type safety.
Created
2017-12-31
124 commits to master branch, last one about a year ago
Generic Programming using True Sums of Products
Created
2014-06-27
428 commits to master branch, last one about a month ago
pure functional and generic programming for Erlang
Created
2013-05-28
328 commits to master branch, last one about a year ago
Lock-free MPMC Ring Buffer (Generic) for SMP, in golang. Some posts in chinese:
Created
2020-07-02
93 commits to master branch, last one 12 days ago
Circe codec derivation using magnolia
Created
2018-06-06
132 commits to master branch, last one 2 years ago
一个 Android 事件总线框架,为你解决事件总线 “滥用” 问题
Created
2022-08-17
53 commits to main branch, last one 2 years ago
Course notes for Alexander Stepanov's teachings on design and usage of C++ STL.
Created
2021-07-28
235 commits to master branch, last one 10 months ago
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Created
2017-03-31
548 commits to master branch, last one 2 years ago
stream is a concurrency pattern implementation using Go generics. a.k.a. my accidentally awesome library
Created
2021-12-12
139 commits to main branch, last one 2 months ago
Tools for schema evolution and language-integrated schemata
Created
2016-09-04
330 commits to master branch, last one 3 years ago
Generic programming library for Python
Created
2010-07-15
850 commits to main branch, last one a day ago
core C++ library
Created
2019-08-30
3,884 commits to develop branch, last one 4 days ago
🔥An easy-to-port/learn/use C++ data structure template library | 一个易于移植/使用/学习且结构简洁的数据结构模板库
Created
2023-05-13
119 commits to main branch, last one 7 months ago
This repository contains the Assignment code of Object Oriented Programming Assignments of SPPU, Second Year IT Syllabus (2019 pattern)
Created
2021-06-14
33 commits to main branch, last one 3 years ago