refinement topic
ewd998
Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
openMVS
open Multi-View Stereo reconstruction library
RefineMask
RefineMask: Towards High-Quality Instance Segmentation with Fine-Grained Features (CVPR 2021)
Adjective
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
BasicBSpline.jl
Basic (mathematical) operations for B-spline functions and related things with julia
SpatialAlignment
Helpful components for aligning and keeping virtual objects aligned with the physical world.
PaxosStore-tla
Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
refinements
A collection of core object refinements.
ameshref
Efficient Matlab Implementation of Adaptive Mesh Refinement in 2D