8 results found Sort:

cdcseacave
openMVS cdcseacave
887
3.1k
agpl-3.0
130
open Multi-View Stereo reconstruction library
sgm mesh multi stereo openmvs surface texture refinement patch-match point-cloud stereo-vision stereo-matching 3d-reconstruction dense-point-cloud multi-view-stereo dense-reconstruction semi-global-matching stereo-reconstruction-library
Created 2015-05-18
288 commits to master branch, last one 4 months ago
zhanggang001
RefineMask zhanggang001
32
211
apache-2.0
5
RefineMask: Towards High-Quality Instance Segmentation with Fine-Grained Features (CVPR 2021)
boundary refinement object-detection instance-segmentation
Created 2021-03-03
10 commits to main branch, last one 2 years ago
hyrodium
BasicBSpline.jl hyrodium
2
93
mit
3
Basic (mathematical) operations for B-spline functions and related things with julia
julia nurbs fitting b-spline refinement
Created 2020-04-25
834 commits to main branch, last one about a month ago
coq-community
coqeal coq-community
15
64
other
15
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
coq coq-ci mathcomp refinement mathcomp-ci coq-platform
Created 2014-02-10
803 commits to master branch, last one 2 months ago
bkuhlmann
refinements bkuhlmann
5
58
other
6
A collection of core object refinements.
refinement ruby-language
Created 2015-07-19
745 commits to main branch, last one a day ago
airshaper
adaptive-mesh-refinement airshaper
10
49
gpl-3.0
4
OpenFoam® motorBike case with adaptive volume & surface mesh refinement based on curl(U) or grad(p)
cfd mesh openfoam pimplefoam refinement simplefoam adaptive-mesh snappyhexmesh mesh-refinement mesh-refinement-methods adaptive-mesh-refinement computational-fluid-dynamics computational-fluid-simulation
Created 2021-03-17
22 commits to main branch, last one 2 years ago
tlaplus-workshops
ewd998 tlaplus-workshops
48
46
mit
67
Distributed termination detection on a ring, due to Shmuel Safra:
specs safety distsys tlaplus liveness detection refinement termination model-checking theorem-proving
Created 2021-09-20
102 commits to main branch, last one 10 months ago
lemmy
ewd998 lemmy
13
40
mit
5
Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
safety tlaplus liveness refinement specification model-checking theorem-proving
This repository has been archived (exclude archived)
Created 2021-05-17
104 commits to main branch, last one about a year ago