|
Rust |
6 |
A type-safe vector with type-level length in Rust |
Dec 23, 2021 |
|
PureScript |
3 |
Fixed size polymorphic vectors |
Feb 18, 2023 |
|
Rust |
32 |
Experimental type level programming in Rust |
Apr 11, 2022 |
|
Rust |
925 |
Type-safe, type-level and stateless Rust graphics framework |
Aug 30, 2022 |
|
R |
2 |
type conversion for vectors |
Dec 28, 2018 |
|
Haskell |
41 |
Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation |
Aug 15, 2021 |
|
F# |
5 |
Type-safe vectors in F# |
Jun 04, 2021 |
|
Haskell |
2 |
Integers with type-level ranges |
Dec 05, 2019 |
|
Haskell |
2 |
ByteStrings as type synonyms of Vectors |
Jan 08, 2013 |
|
Rust |
296 |
A pure functional language for type-level programming in Rust |
Apr 26, 2023 |
|
Shell |
6 |
Messing around with Rust binary file size |
Nov 05, 2022 |
|
Haskell |
3 |
Type level numerics for Haskell using type families. Based on type-level. |
Jul 03, 2017 |
|
Rust |
44 |
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions |
Mar 02, 2023 |
|
Haskell |
5 |
Type level membership |
Feb 20, 2021 |
|
Haskell |
6 |
Type level booleans |
Dec 17, 2021 |
|
Haskell |
64 |
type level sets |
May 26, 2022 |
|
Rust |
3 |
Efficient non-empty vectors in Rust |
Feb 19, 2020 |
|
Rust |
5 |
Bit matrices and vectors in Rust. |
Jul 27, 2022 |
|
TypeScript |
8 |
Type-Level Lambda Calculus interpreter with TypeScript |
Jul 26, 2022 |
|
TypeScript |
13 |
Type-Level Regular Expressions matching with TypeScript |
Jul 27, 2022 |
|
TypeScript |
16 |
Bring type level information to value level. |
Mar 04, 2023 |
|
Rust |
2 |
Rust package with const generic vectors and matrices intended for graphics |
Aug 19, 2020 |
|
Rust |
27 |
Bit-vectors and bit-slices for Rust |
Mar 28, 2023 |
|
Haskell |
17 |
Type-level assertion operators |
Sep 09, 2019 |
|
Scala |
4 |
Type-level rational encoding |
Jun 27, 2022 |
|
Rust |
6 |
A Rust trait to convert numbers of any type and size to their English representation. |
Mar 08, 2023 |
|
Rust |
10 |
Rust collections optimized for size |
Jan 19, 2023 |
|
Rust |
18 |
🏹 Stack-allocated, constant-size, matrix type implemented with const generics |
Mar 31, 2023 |
|
TypeScript |
5 |
A value-level and type-level DOM builder. |
May 14, 2022 |
|
C++ |
2 |
C++20 optional type without size overhead |
Apr 20, 2024 |
|
Haskell |
87 |
Haskell Functional Reactive Programming framework with type-level clocks |
Apr 18, 2023 |
|
Haskell |
58 |
🎯 IO with Exceptions tracked on the type-level |
May 02, 2023 |
|
Rust |
450 |
Portable Packed SIMD Vectors for Rust standard library |
Aug 09, 2022 |
|
Python |
2 |
Simple server of Bert-As-A-Service with a multilingual BERT model allowing to transform non-fixed size sentences … |
Jan 25, 2023 |
|
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 |
|
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 |
|
Rust |
16 |
Rust finite field library with fixed size multi-word values |
Feb 10, 2023 |
|
Haskell |
111 |
Type-safe, type-level and stateless Haskell graphics framework |
Apr 20, 2022 |
|
JavaScript |
15 |
Determining screen size type for Bootstrap 4 grid. |
Nov 23, 2021 |
|
TypeScript |
2 |
Learning more of Typescript with: https://type-level-typescript.com lessons. |
Mar 07, 2023 |
|
Haskell |
9 |
Type-level descriptions of composable transformations for use with DerivingVia |
Jan 29, 2023 |
|
Rust |
1036 |
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends. |
May 04, 2023 |
|
Rust |
2 |
Try Rust Type Reflection |
Jun 16, 2022 |