Search Results - RepositoryStats

50

566

unknown

30

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

fold java java-8 optics algebra visitor derive4j laziness sum-types catamorphisms tagged-unions visitor-pattern algebraic-data-types annotation-processor discriminated-unions functional-programming exhaustiveness-checking

Created 2015-09-18

253 commits to master branch, last one 3 years ago

5

340

mit

3

Exhaustiveness checking in TypeScript

match exhaustive ts-pattern unreachable exhaustive-check pattern-matching exhaustiveness-checking

Created 2023-01-28

22 commits to main branch, last one 5 months ago

33

182

gpl-3.0

6

✨ Awesome TypeScript Examples with complete show cases of how to take advantage of the language potential.

any enums eslint unknown examples generics decorators typescript utility-types typescript-example typescript-examples dependency-injection exhaustiveness-checking

Created 2022-04-26

57 commits to main branch, last one 4 months ago

6

78

bsd-3-clause

6

C# Analyzer Adding Exhaustive Checking of Switch Statements and Expressions

nuget-package csharp-library roslyn-analyzer discriminated-unions exhaustiveness-checking

Created 2019-09-13

146 commits to master branch, last one 2 years ago