Stars
26
Forks
0
Language
Haskell
Last Updated
Jan 10, 2022
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Elm | 4 | Annotated GHC generics representations of example types | Aug 15, 2022 | |
Haskell | 5 | Derivable diffing and patching on arbitrary data types using GHC Generics | Dec 05, 2019 | |
C | 5 | Recursive generics using FLINT | Mar 01, 2019 | |
Haskell | 5 | GHC Generics automatically derived hedgehog generators | Dec 16, 2022 | |
PureScript | 53 | Maps and folds for heterogeneous data types. | Apr 01, 2023 | |
Haskell | 4 | Lenses for types in generics-sop | Jan 02, 2022 | |
TypeScript | 3 | TypeScript, Generics, Utility Types, Interface . | Mar 25, 2023 | |
Haskell | 2 | GHC Generics for deriving numeric typeclasses, Monoid, and other similar classes. | Dec 05, 2019 | |
PureScript | 8 | Sum types with Generics-Rep instances to Variant for free! | Dec 15, 2021 | |
PHP | 840 | Next-gen phpDoc parser with support for intersection types and generics | Aug 21, 2022 | |
Kotlin | 6 | Show inferred Python types as Inlay Hints using folds | Dec 16, 2022 | |
Haskell | 98 | Hypertypes - generic programming for heterogeneous recursive types | Apr 11, 2023 | |
PHP | 4 | Experimental next-gen phpDoc parser with support for intersection types and generics | Jan 08, 2023 | |
TypeScript | 3 | Analyize recursive (cyclic) JSON Schema types | Oct 18, 2022 | |
None | 2 | Example of boxing types in Carp. To be used for recursive types. | Jul 20, 2021 | |
C# | 5 | Library for creating identifier types using generics for code clarity purposes. | Aug 13, 2022 | |
None | 10 | Notes on Algebra and Recursive Data Types | Oct 08, 2018 | |
Dart | 2 | Give your types superpowers and spice up your generics. | Aug 14, 2022 | |
Java | 145 | Support generics types in PhpStorm via psalm / phpstan docblock | Apr 22, 2022 | |
Rust | 15 | Set the minimum alignments of types using const generics. | Dec 12, 2022 | |
Rust | 3 | Rust macro that hides struct generics into trait associated types | Apr 01, 2023 | |
Jupyter Notebook | 3 | Render documents on a virtual paper with folds and other types of damage using blender … | Apr 10, 2023 | |
None | 20 | Alpine linux with ghc for docker | Dec 22, 2022 | |
Go | 2 | Brief demonstration of Go's inclusion of (equi)recursive types | Mar 31, 2020 | |
Go | 80 | Experiments with Go generics | Aug 05, 2022 | |
Go | 3 | An implementation of the data structures in Go using generics types. | Sep 03, 2023 | |
VimL | 5 | Indentation-level based folds with a twist | Mar 09, 2020 | |
Python | 10 | A type-checker which can process recursive types and data | Jan 28, 2022 | |
Python | 13 | Backport for type hinting generics in standard collections and union types as X | Y | May 08, 2022 | |
Haskell | 66 | Tools for programming with ConstraintKinds in GHC | Jul 07, 2022 | |
Go | 44 | Go package for sets implemented with generics | Mar 19, 2023 | |
Haskell | 30 | ghc --make reimplemented with Shake | May 29, 2022 | |
Haskell | 4 | Prototype GHC with Class Morphisms | Feb 12, 2019 | |
Haskell | 4 | Grab-bag of functions for interfacing pipes with foldl folds. | Jan 18, 2020 | |
Go | 10 | Functional Go (1.18) with Generics | Jun 04, 2022 | |
Go | 11 | Hasgo, but with actual generics | Feb 20, 2023 | |
Go | 2 | Golang LRU cache with generics | Jun 08, 2023 | |
Jupyter Notebook | 7 | Machine Learning for CICY 3-folds | Sep 30, 2022 | |
Haskell | 5 | Examples and tests for ghc-kinds branch of GHC | Sep 12, 2014 | |
Haskell | 52 | A GHC plugin and library for analysing GHC Core | Apr 04, 2023 | |
Rust | 911 | A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, … | Apr 28, 2023 | |
Java | 551 | Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics … | May 16, 2023 | |
Shell | 134 | Docker image with GHC+musl for static executables | Apr 30, 2023 | |
Haskell | 2 | Various specialised GHC plugins for working with Parsley | Aug 14, 2023 | |
None | 5 | Proposed compiler and language changes for GHC and GHC/Haskell | Jan 07, 2021 | |
Python | 10 | Proposed compiler and language changes for GHC and GHC/Haskell | Jul 12, 2022 | |
Python | 607 | Proposed compiler and language changes for GHC and GHC/Haskell | Sep 13, 2022 | |
Python | 5 | Proposed compiler and language changes for GHC and GHC/Haskell | Jul 21, 2022 | |
None | 25 | Proposed compiler and language changes for GHC and GHC/Haskell | Jan 10, 2021 | |
None | 4 | Proposed compiler and language changes for GHC and GHC/Haskell | May 09, 2020 |