open Multi-View Stereo reconstruction library

RefineMask: Towards High-Quality Instance Segmentation with Fine-Grained Features (CVPR 2021)

[WPEM / PyWPEM] AI-Driven Structure Refinement of X-ray Diffraction

Basic (mathematical) operations for B-spline functions and related things with julia

Programming is an exercise in linguistics; spice-up Scala types with Adjective.

OpenFoam® motorBike case with adaptive volume & surface mesh refinement based on curl(U) or grad(p)

A collection of core object refinements.

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

Efficient Matlab Implementation of Adaptive Mesh Refinement in 2D

MindManager AI Integration on Windows and macOS

Distributed termination detection on a ring, due to Shmuel Safra:

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF

Helpful components for aligning and keeping virtual objects aligned with the physical world.

The Swiss Army knife for carbohydrate structure validation, refinement and analysis

Improving genome bins through the combination of different binning programs

🚀 H2G-Net: Segmentation of breast cancer region from whole slide images

Tutorial on modeling with TLA+

Specifying and Verifying the consensus algorithm in PaxosStore using TLA+

AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops.

Official implementation of Neural Mesh Refinement (NMR): a robust mesh refinement method that learns rich structural priors during training and then adaptively applies the priors during inference to refine coarse shapes to finer ones based on their geometry.