Making floating-point behave.

Allows ruby objects to implement equality comparison and inspection methods.

Equivalence based argument matcher for NSubstitute

Utilities for testing code equivalence

An equivalence of fully connected layer and convolutional layer

Biological effects and equivalent doses in radiotherapy: A software solution

PHP new native URI parsing feature polyfill

Measurement invariance explorer - R package to explore measurement invariance

High performance set theory - functional utilities which operate on arbitrary input sets.

Python library for RegexSolver API.

Implementation of a source-to-source compiler through the principles of a language neutral-based compilation framework.

C program to display whether the given relation represents partial ordering poset and equivalence relation or not.

An automated equivalence reasoner for Isabelle/HOL

Finite sample correction methods for equivalence testing procedures

NCTU Software Testing Class HW1 - google test with triangle, commission, nextdate problems

A few scripts for the course 01017 Diskret Matematik at DTU, simply for the second part of the course which contains a lot of boring and long calculations. Here it's simply done in a few scripts.

Logic package for Fōrmulæ, in JavaScript

Java library for RegexSolver API.

Functions for clinical equivalence testing

Finite Sample Correction of The TOST in The Univariate Framework

Node.js library for RegexSolver API.

Official repository of the paper "AUTOMATED LANDMARK DETECTION FOR ASSESSING HIP CONDITIONS: A CROSS-MODALITY VALIDATION OF MRI VERSUS X-RAY" accepted at ISBI 2026.

Function for determining logical equivalence between statements

ψ–ΔI→G framework: V-locked cross-level reporting (≈ε semantics, undefinedness gating, comparability/transport clauses).

Academic page for the paper "AUTOMATED LANDMARK DETECTION FOR ASSESSING HIP CONDITIONS: A CROSS-MODALITY VALIDATION OF MRI VERSUS X-RAY" accepted at ISBI 2026.

Look ma, I'm learning to count!

FPGA template project creator

A preliminary study on the equivalence between deterministic and probabilistic methods