9 results found Sort:

cdcseacave
openMVS cdcseacave
924
3.5k
agpl-3.0
129
open Multi-View Stereo reconstruction library
sgm mesh 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
562 commits to develop branch, last one 8 days ago
zhanggang001
RefineMask zhanggang001
30
215
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
4
99
mit
2
Basic (mathematical) operations for B-spline functions and related things with julia
julia nurbs fitting b-spline refinement
Created 2020-04-25
836 commits to main branch, last one 2 months ago
bkuhlmann
refinements bkuhlmann
5
79
other
6
A collection of core object refinements.
refinement ruby-language
Created 2015-07-19
808 commits to main branch, last one 27 days ago
coq-community
coqeal coq-community
17
69
other
13
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
coq coq-ci mathcomp refinement mathcomp-ci coq-platform
Created 2014-02-10
840 commits to master branch, last one 21 days ago
airshaper
adaptive-mesh-refinement airshaper
12
67
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 3 years ago
robertZaufall
mindmanager_ai robertZaufall
2
53
mit
5
MindManager AI Integration on Windows and macOS
vba wwb macos macros ollama openai mermaid mindjet mindmap azure-ai appscript refinement applescript mindmanager
Created 2023-10-22
498 commits to master branch, last one 9 days ago
tlaplus-workshops
ewd998 tlaplus-workshops
47
51
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 6 months ago
lemmy
ewd998 lemmy
13
42
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