|
|
Haskell |
3 |
haskell library for conversion of arbitrary data types to a "structural form" built from the … |
Jan 21, 2020 |
|
|
Haskell |
2 |
Mapping MySQL column types to Haskell data types |
Dec 23, 2019 |
|
|
Haskell |
3 |
Encoding-independent schemas for Haskell data types |
Feb 10, 2022 |
|
|
Haskell |
3 |
Parsers for the standard Haskell data types |
Jun 26, 2021 |
|
|
Haskell |
20 |
Haskell data types and functions for countries |
Jan 28, 2022 |
|
|
Haskell |
4 |
Composable validations for your Haskell data types |
Nov 30, 2022 |
|
|
Scala |
13 |
Haskell-style Algebraic Data Types for Scala |
Feb 28, 2019 |
|
|
Haskell |
2 |
Generic traversal of arbitrary data structures in Haskell. |
Dec 05, 2019 |
|
|
Haskell |
40 |
Generic data types in Haskell, utilities for GHC.Generics |
May 25, 2022 |
|
|
Haskell |
10 |
Haskell library implementing parametric compositional data types. |
Oct 01, 2020 |
|
|
Haskell |
99 |
Reifies arbitrary Haskell terms into types that can be reflected back into terms |
Nov 16, 2021 |
|
|
Haskell |
8 |
Textual Type Classes - a Haskell library for conversion between data types and textual data … |
Mar 21, 2023 |
|
|
Haskell |
1068 |
Liquid Types For Haskell |
Apr 26, 2023 |
|
|
Haskell |
87 |
Haskell library implementing "Data Types a la Carte" |
May 07, 2023 |
|
|
Go |
129 |
Go (golang) package to get hash strings of arbitrary data structures. |
Apr 18, 2023 |
|
|
Haskell |
7 |
Haskell parsers and types for Well-Known Text (WKT) data |
Dec 05, 2019 |
|
|
Haskell |
2 |
Advanced haskell types |
Mar 05, 2024 |
|
|
Haskell |
12 |
Arbitrary size tuples in Haskell |
Mar 09, 2020 |
|
|
Haskell |
10 |
Merkle Hash Tree in Haskell |
Feb 03, 2021 |
|
|
C++ |
3 |
Inspect arbitrary values and types. |
Jul 09, 2020 |
|
|
Haskell |
10 |
Practical type inference for arbitrary-rank types |
Dec 17, 2022 |
|
|
TeX |
24 |
A Haskell program and library to derive instances for data types |
Jun 04, 2022 |
|
|
Haskell |
221 |
pretty-printer for Haskell data types that have a Show instance |
Oct 10, 2022 |
|
|
PureScript |
3 |
Conversions of arbitrary data types to and from Records or Variants |
Apr 24, 2023 |
|
|
Haskell |
5 |
Derivable diffing and patching on arbitrary data types using GHC Generics |
Dec 05, 2019 |
|
|
Haskell |
9 |
Pure Haskell arbitrary length FFT library |
Mar 01, 2023 |
|
|
Haskell |
4 |
*DEPRECATED* Serialization of arbitrary Haskell expressions |
Jan 28, 2023 |
|
|
Haskell |
4 |
Existential types in Haskell |
Dec 13, 2020 |
|
|
Go |
613 |
Get hash values for arbitrary values in Go (golang). |
Aug 21, 2022 |
|
|
Haskell |
10 |
Utilities for lazifying types in Haskell |
Sep 04, 2021 |
|
|
C |
4 |
Command line utility to extend hash of arbitrary data into a TPMs PCR. |
Jan 28, 2023 |
|
|
Haskell |
11 |
Hash Array Mapped Tries in Haskell |
Feb 12, 2020 |
|
|
Haskell |
6 |
Abstract data types and type classes for Haskell to MessagePack value converters |
Feb 14, 2022 |
|
|
Julia |
8 |
Spherical functions of arbitrary float types |
Mar 16, 2023 |
|
|
Rust |
19 |
Rust library to provide validations for arbitrary types. |
Aug 10, 2021 |
|
|
Haskell |
6 |
Arbitrary QuickCheck instance generation using template haskell |
Feb 17, 2021 |
|
|
C# |
3 |
Generate hash types with one click |
Jan 27, 2023 |
|
|
Haskell |
10 |
Haskell routes using dependent types |
Dec 12, 2020 |
|
|
Haskell |
282 |
Standard library for linear types in Haskell. |
Jul 15, 2022 |
|
|
Haskell |
3 |
A library to parse the GS1 Events into Haskell data types |
Dec 10, 2020 |
|
|
Haskell |
12 |
Haskell implementation of SHA / SHA2 hash functions |
May 05, 2022 |
|
|
Julia |
2 |
Dates with arbitrary integer types and epochs. |
Feb 08, 2020 |
|
|
Scala |
71 |
Type-safe, persistent storage for values of arbitrary types |
Jun 25, 2022 |
|
|
PureScript |
2 |
A typed, persistent store for values of arbitrary types |
May 31, 2023 |
|
|
Haskell |
7 |
apply merkle-type hash annotations to arbitrary recursive data structures as defined using recursion schemes |
Feb 22, 2023 |
|
|
Haskell |
2 |
Multi-key multi-value store for Haskell native data types with type safe interface. |
Dec 05, 2019 |
|
|
Haskell |
8 |
Haskell library to ease the pain of versioning and migrating data types |
Aug 24, 2021 |
|
|
Coq |
64 |
A Specification for Dependent Types in Haskell (Core) |
Mar 02, 2023 |
|
|
Haskell |
2 |
Haskell types for the Pokemon Go protobuf API |
Dec 30, 2019 |
|
|
D |
2 |
Category theory types inspired from Haskell |
Mar 11, 2019 |