|
|
Lua |
4 |
algebraic data types for Lua |
Nov 30, 2020 |
|
|
JavaScript |
32 |
Algebraic data types for JavaScript |
Jul 10, 2018 |
|
|
JavaScript |
220 |
Algebraic data types for Javascript |
Mar 20, 2023 |
|
|
Ruby |
74 |
Algebraic Data Types for Ruby |
Apr 08, 2022 |
|
|
C |
672 |
Algebraic data types for C99 |
May 31, 2023 |
|
|
Rust |
114 |
Data interchange with algebraic data types. |
Aug 17, 2022 |
|
|
Java |
147 |
Algebraic data types in Java. |
Aug 05, 2022 |
|
|
Haxe |
6 |
Api-Derived Algebraic Data Types |
Jun 28, 2018 |
|
|
Python |
3 |
Library providing Algebraic Data Types for Python. |
Nov 21, 2018 |
|
|
TypeScript |
4 |
Exhaustive match on Algebraic Data Types |
Dec 02, 2022 |
|
|
JavaScript |
94 |
Algebraic data types for JavaScript using Sweet.js macros |
Jan 28, 2023 |
|
|
JavaScript |
2 |
Algebraic types for JavaScript. |
Dec 23, 2022 |
|
|
None |
19 |
Algebraic laws bundled into concrete data types. |
Mar 23, 2021 |
|
|
Scala |
44 |
Algebraic Effects for Scala 3 |
Mar 17, 2023 |
|
|
Elixir |
65 |
Algebraic Data Types for Elixir: Both functional and fun. |
Jul 11, 2022 |
|
|
Kotlin |
474 |
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types |
Aug 09, 2022 |
|
|
Haskell |
39 |
Define communication protocols between applications using algebraic data types. |
Feb 11, 2022 |
|
|
OCaml |
30 |
AIFAD - Automated Induction of Functions over Algebraic Data Types |
Nov 23, 2022 |
|
|
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 |
24 |
Hash consing for arbitrary Haskell data types |
Jun 20, 2022 |
|
|
Haskell |
4 |
Composable validations for your Haskell data types |
Nov 30, 2022 |
|
|
JavaScript |
3 |
"Simplify your UI management with (algebraic data) types" code example |
Oct 16, 2020 |
|
|
Scala |
15 |
Convergent and Commutative Replicated Data Types for Scala |
Jan 14, 2022 |
|
|
Haskell |
40 |
Generic data types in Haskell, utilities for GHC.Generics |
May 25, 2022 |
|
|
Scala |
7 |
Code for a post on shape-aware algebraic data types and computations |
Apr 05, 2019 |
|
|
TypeScript |
44 |
Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. 🌱 |
Aug 21, 2022 |
|
|
Elm |
8 |
Your one-stop shop for Algebraic Data Types (ADT) in elm :deciduous_tree: |
Mar 08, 2023 |
|
|
Haskell |
2 |
Another Haskell Prelude for Algebraic Classes and Structures |
Feb 02, 2023 |
|
|
Shell |
2 |
Some algebraic numeric types and operations. |
Feb 07, 2019 |
|
|
Haskell |
10 |
Haskell library implementing parametric compositional data types. |
Oct 01, 2020 |
|
|
Scala |
1617 |
Refinement types for Scala |
May 28, 2023 |
|
|
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 |
2 |
Scala vs Haskell |
May 14, 2014 |
|
|
Haskell |
87 |
Haskell library implementing "Data Types a la Carte" |
May 07, 2023 |
|
|
Haskell |
7 |
Haskell parsers and types for Well-Known Text (WKT) data |
Dec 05, 2019 |
|
|
Haskell |
2 |
Advanced haskell types |
Mar 05, 2024 |
|
|
Scala |
12 |
Typesafe record types for Scala |
Jun 24, 2022 |
|
|
TeX |
2 |
Deltas: An algebraic theory of diffs in haskell |
May 23, 2019 |
|
|
Haskell |
74 |
Linear Algebra of Programming - Algebraic Matrices in Haskell |
Nov 06, 2021 |
|
|
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 |
|
|
Scala |
32 |
Linear types in Scala |
May 16, 2023 |
|
|
Haskell |
33 |
Clojure-style transients for Haskell |
Jan 25, 2022 |
|
|
C++ |
200 |
ADL (Algebraic Data Language) |
May 02, 2023 |
|
|
Java |
2 |
Java and Scala Symbolic/Algebraic Calculation for Radio Frequency & Microwave Physics |
Nov 13, 2023 |
|
|
Haskell |
41 |
A Haskell translation of Idris's original algebraic effects library |
Jul 17, 2022 |