Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings
#

exhaustiveness-checking

Here are 13 public repositories matching this topic...

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

  • UpdatedDec 1, 2022
  • Java

Exhaustiveness checking in TypeScript

  • UpdatedJul 21, 2024
  • TypeScript

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

  • UpdatedAug 20, 2024
  • TypeScript

C# Analyzer Adding Exhaustive Checking of Switch Statements and Expressions

  • UpdatedNov 19, 2023
  • C#

Helpers for Exhaustive Type Checking with TypeScript

  • UpdatedApr 8, 2019
  • TypeScript

Basic exhaustiveness checking of unions in Elixir

  • UpdatedJun 23, 2019
  • Elixir

Utility function for exhaustiveness checking with typed JS (TS or Flow)

  • UpdatedMar 16, 2020
  • JavaScript

A library for defining and manipulating algebraic data types in TypeScript.

  • UpdatedSep 23, 2024
  • TypeScript

Enums with payloads. Or for the fancy pants: discriminated unions for C# with compile-time exhaustiveness checking, implemented using closed type hierarchies.

  • UpdatedJun 1, 2024
  • C#

Project code developed to accompany the thesis of the bachelor programme BSc Data Science and Artificial Intelligence taught @ Universiteit Maastricht. It consists in (re-)discovering Forbidden Minors for Treewidth, through a series of graph search/analysis techniques.

  • UpdatedJun 23, 2023
  • Python

Utility Error class for performing exhaustiveness checks via exceptions in TypeScript.

  • UpdatedDec 15, 2023
  • TypeScript

Finite state management with exhaustiveness and transition enforcement for TypeScript.

  • UpdatedJul 1, 2025
  • TypeScript

Make tolerable a poor man's version of exhaustive pattern-matching, in TypeScript

  • UpdatedMar 1, 2024
  • TypeScript

Improve this page

Add a description, image, and links to theexhaustiveness-checking topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with theexhaustiveness-checking topic, visit your repo's landing page and select "manage topics."

Learn more


[8]ページ先頭

©2009-2025 Movatter.jp