open Structure-fom-Motion and Multi-View Stereo reconstruction library

structure-from-motion texture point-cloud mesh refinement stereo multi-view-stereo surface 3d-reconstruction stereo-vision stereo-matching stereo-reconstruction-library spherical-camera sgm dense-reconstruction openmvs dense-point-cloud semi-global-matching video-tracking patch-match

• Updated Nov 12, 2026
• C++

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

refinement xrd xps exafs wpem pyxplore

• Updated Sep 23, 2026
• Jupyter Notebook

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

refinement object-detection boundary instance-segmentation

• Updated May 11, 2022
• Python

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

julia fitting refinement nurbs b-spline

• Updated Jun 29, 2026
• Julia

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

validation refinement refinement-types constraint-satisfaction

• Updated Nov 14, 2020
• Scala

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

mesh refinement cfd openfoam computational-fluid-dynamics snappyhexmesh adaptive-mesh-refinement mesh-refinement adaptive-mesh mesh-refinement-methods computational-fluid-simulation simplefoam pimplefoam

• Updated Jun 16, 2021
• C++

A collection of core object refinements.

ruby-language refinement

• Updated Nov 5, 2026
• Ruby

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

coq refinement mathcomp coq-ci coq-platform mathcomp-ci

• Updated Aug 25, 2026
• Rocq Prover

Efficient Matlab Implementation of Adaptive Mesh Refinement in 2D

grid matlab refinement fem finite-elements adaptive meshes finite-element-methods mesh-refinement-methods adaptive-finite-elements 2d-refinement afem

• Updated Jan 14, 2020
• MATLAB

MindManager AI Integration on Windows and macOS

macos applescript macros openai vba refinement mermaid mindmap appscript azure-ai mindjet wwb mindmanager ollama

• Updated Feb 7, 2026
• Python

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

detection theorem-proving refinement safety model-checking termination specs liveness tlaplus distsys

• Updated Sep 2, 2024
• TLA

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

theorem-proving specification refinement safety model-checking liveness tlaplus

• Updated Apr 23, 2023
• TLA

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

python verification refinement z3 model-checking formal-methods bounded-model-checking formal-specification llm

• Updated Nov 12, 2026
• Rust

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

augmented-reality hololens architecture alignment refinement drift mixed-reality alignment-strategies

• Updated Dec 5, 2021
• C#

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

svg validation crystallography refinement york clipper ccp4 carbohydrates cryoem glycosylation ccp-em ccp4i2 snfg

• Updated Jul 14, 2026
• C++

Improving genome bins through the combination of different binning programs

bioinformatics metagenomics refinement binning binning-refiner

• Updated Jan 30, 2023
• Python

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

deep-learning clustering tensorflow cnn medical-imaging refinement segmentation convolutional-neural-networks digital-pathology breast-cancer u-net computational-pathology mobilenetv2 tensorflow-keras whole-slide-image h2g-net agu-net

• Updated Jul 21, 2025
• Jupyter Notebook

Tutorial on modeling with TLA+

checker model proof composition refinement prover tla conformance correct-by-construction

• Updated Sep 15, 2026
• TLA

Specifying and Verifying the consensus algorithm in PaxosStore using TLA+

refinement tla

• Updated Mar 30, 2021
• TLA

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.

mesh refinement super-resolution subdivision

• Updated Sep 29, 2026
• Python