|
PureScript |
14 |
Type equality constraints |
Mar 14, 2022 |
|
F# |
39 |
Type equality for F# |
Apr 10, 2022 |
|
Rust |
2 |
Type equality in stable Rust. |
Nov 02, 2023 |
|
Scala |
6 |
Demos for type-safe equality with Scala implicits |
Jan 28, 2023 |
|
PureScript |
5 |
Type equality check returning a Boolean kind. Useful for type-level programming. |
Feb 17, 2019 |
|
Haskell |
22 |
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt … |
Oct 28, 2021 |
|
Rust |
4 |
A stable Rust implementation of an identity (a.k.a., “equality witness”) type |
Oct 10, 2021 |
|
TypeScript |
3 |
Deep equality check |
Mar 28, 2022 |
|
HTML |
57 |
Determining Array Equality |
Apr 15, 2022 |
|
Ruby |
13 |
Easily create Ruby class hierarchies that support nested attributes, type conversion, serialization, equality, and more. |
Aug 29, 2022 |
|
JavaScript |
14 |
Constant-time Buffer Equality |
Feb 12, 2022 |
|
Haskell |
4 |
possibly playing with equality saturation |
Dec 05, 2019 |
|
TypeScript |
5 |
Object hashing for structural equality |
Jun 28, 2022 |
|
TypeScript |
2 |
✅ Legible deep-equality tests |
Jul 26, 2022 |
|
Haskell |
2 |
Unsound checker for CFG equality |
Sep 08, 2021 |
|
Haskell |
49 |
Fast equality saturation in Haskell |
Apr 24, 2023 |
|
HTML |
5 |
Annual Africa Gender Equality Conference |
Mar 29, 2022 |
|
Rust |
5 |
Datalog with equality for rust |
May 07, 2023 |
|
Go |
4 |
JSON equality assertions for Go |
May 16, 2022 |
|
Rust |
2 |
Test equality between trait objects |
Sep 21, 2023 |
|
Rust |
2 |
Assertions for floating-point equality. |
Sep 11, 2023 |
|
Rust |
64 |
Rewrite Rule Inference Using Equality Saturation |
Apr 19, 2023 |
|
Julia |
10 |
Interface for approximate and exact equality |
Feb 01, 2023 |
|
JavaScript |
6 |
A Handlebars helper for testing equality |
Jun 07, 2021 |
|
Rust |
2 |
cross-group discrete log equality proof |
Nov 27, 2022 |
|
Go |
2 |
Partial struct equality assertions for Go |
May 23, 2023 |
|
TypeScript |
3 |
Collections like JavaScript’s native Maps and Sets, but using value equality (util.isDeepStrictEqual()) instead of reference … |
Oct 15, 2022 |
|
JavaScript |
4 |
Assert the equality of two HTML fragments |
Aug 26, 2020 |
|
Agda |
6 |
Categories parametrized by morphism equality, in Agda |
Mar 20, 2019 |
|
JavaScript |
7 |
Test helper to assert JavaScript AST equality. |
Apr 25, 2017 |
|
PHP |
8 |
Provides an equality assertion for Behat TableNodes. |
Jun 23, 2022 |
|
Agda |
2 |
Categories parametrized by morphism equality, in Agda |
Jan 28, 2023 |
|
JavaScript |
2 |
Library to enable equality of different types. |
Jul 25, 2018 |
|
Dart |
3 |
Checks two valid geojson geometries for equality. |
Jul 19, 2022 |
|
Rust |
127 |
Approximate floating point equality comparisons and assertions |
Aug 10, 2022 |
|
TypeScript |
13 |
Sneaky equality check between objects using proxies |
Jan 31, 2023 |
|
JavaScript |
3 |
A low-level API for defining equality. |
Jan 28, 2023 |
|
None |
4 |
Css methodology that respects independence and equality |
Jan 28, 2023 |
|
HCL |
9 |
Simple Terraform module for asserting value equality |
Aug 08, 2022 |
|
TypeScript |
70 |
Minimalistic shallow equality check for arrays/objects |
May 08, 2023 |
|
Solidity |
178 |
Assertions, equality checks and other test helpers |
May 13, 2023 |
|
Haskell |
3 |
A Haskell Library and Command Line Interface to work with MIX archives from the older … |
Dec 21, 2020 |
|
Haskell |
3 |
Very simple text summarization |
Mar 06, 2020 |
|
Haskell |
3 |
Command Line Interface for https://validator.w3.org/ |
Dec 27, 2019 |
|
Haskell |
3 |
None |
Jan 09, 2020 |
|
Haskell |
3 |
Types for colors |
Dec 05, 2019 |
|
Haskell |
3 |
None |
Feb 03, 2020 |
|
Haskell |
3 |
heterogenous traversal |
May 03, 2022 |
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
Haskell |
3 |
Elevator for effects |
Dec 05, 2019 |