|
|
TypeScript |
5 |
A value-level and type-level DOM builder. |
May 14, 2022 |
|
|
Shell |
100 |
Bring bash to the next level |
Apr 28, 2022 |
|
|
Haskell |
3 |
Type level numerics for Haskell using type families. Based on type-level. |
Jul 03, 2017 |
|
|
D |
5 |
Type and value transducers |
Nov 21, 2018 |
|
|
Haskell |
5 |
Type level membership |
Feb 20, 2021 |
|
|
Haskell |
6 |
Type level booleans |
Dec 17, 2021 |
|
|
Haskell |
64 |
type level sets |
May 26, 2022 |
|
|
Shell |
2 |
Bring your makefiles to the next level. |
Jan 11, 2022 |
|
|
Visual Basic |
7 |
Bring higher-level concepts to VBA Access |
Nov 24, 2022 |
|
|
Elixir |
2 |
🕵️ Bring Supervisors to the next level |
Mar 28, 2022 |
|
|
Nim |
103 |
Friendly value-or-error type |
May 01, 2023 |
|
|
Swift |
2 |
Value type and COW NSAttributedString. |
Jun 08, 2020 |
|
|
R |
2 |
Survey value of information |
Nov 17, 2022 |
|
|
Haskell |
17 |
Type-level assertion operators |
Sep 09, 2019 |
|
|
Scala |
4 |
Type-level rational encoding |
Jun 27, 2022 |
|
|
Kotlin |
17 |
Bring type-safety to your GitHub actions' API! |
Aug 08, 2022 |
|
|
JavaScript |
49 |
Bring your scroll game to the next level! |
Mar 02, 2021 |
|
|
Raku |
2 |
Provide an immutable Map value type |
Jun 28, 2022 |
|
|
Go |
15 |
Convert a value into another type |
Nov 30, 2021 |
|
|
C++ |
63 |
An indirect value-type for C++ |
Oct 18, 2022 |
|
|
C++ |
192 |
A polymorphic value-type for C++ |
Oct 18, 2022 |
|
|
Swift |
22 |
TLV8 (Type-Length-Value) Coder library |
Mar 10, 2023 |
|
|
Makefile |
2 |
Pareto (Type I) distribution expected value. |
Nov 03, 2022 |
|
|
Raku |
2 |
Provide an immutable List value type |
Jan 18, 2023 |
|
|
PHP |
3 |
Country information as Value Objects |
Aug 12, 2021 |
|
|
F# |
4 |
Type-level programming in F# |
Aug 24, 2021 |
|
|
TypeScript |
352 |
Type level programming in TypeScript |
Jul 31, 2022 |
|
|
C# |
9 |
Type-level integers for C# |
Feb 16, 2023 |
|
|
Scala |
2 |
scala type level programming note |
Jun 30, 2019 |
|
|
Haskell |
2 |
Integers with type-level ranges |
Dec 05, 2019 |
|
|
TypeScript |
63 |
Type Level SQL interpreter & validator. |
Apr 20, 2023 |
|
|
Haskell |
2 |
Type level string formatting library |
Oct 11, 2017 |
|
|
Rust |
2 |
Type-level compile-time bitset |
May 02, 2022 |
|
|
TypeScript |
10 |
TypeScript type-level execution tool |
Nov 18, 2022 |
|
|
PureScript |
3 |
Type level joins over `Row` |
Jun 21, 2022 |
|
|
Java |
6 |
Code for a simple Battery Information(Battery Level, Charging Status, Temperature, Voltage and Current value) application |
May 15, 2022 |
|
|
Rust |
925 |
Type-safe, type-level and stateless Rust graphics framework |
Aug 30, 2022 |
|
|
Haskell |
111 |
Type-safe, type-level and stateless Haskell graphics framework |
Apr 20, 2022 |
|
|
TypeScript |
2 |
Combine type and value imports using Typescript 4.5 type modifier syntax |
Mar 23, 2022 |
|
|
Raku |
5 |
Tuple - provide an immutable List value type |
May 19, 2022 |
|
|
Java |
8 |
Tests of Java value type (lworld prototype) |
Sep 11, 2020 |
|
|
Python |
16 |
dank key/value store high-level APIs |
May 22, 2021 |
|
|
Go |
24 |
Bring implicit type conversion into Go in a explicit way |
Sep 29, 2017 |
|
|
TypeScript |
2 |
Type-level natural numbers for Typescript. |
Jun 18, 2021 |
|
|
Rust |
32 |
Experimental type level programming in Rust |
Apr 11, 2022 |
|
|
Scala |
34 |
Type-level API for standard collections |
May 04, 2019 |
|
|
Haskell |
4 |
A type-level Quine in Haskell |
Dec 16, 2020 |
|
|
Haskell |
64 |
type-level errors for Servant APIs. |
Oct 12, 2022 |
|
|
Python |
2 |
Log level parameter type for Click |
Jun 21, 2022 |
|
|
Haskell |
62 |
rewrite rules for type-level equalities |
Mar 16, 2023 |