9 results found Sort:

cdcseacave
openMVS cdcseacave
910
3.4k
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
542 commits to develop branch, last one 10 days ago
zhanggang001
RefineMask zhanggang001
31
212
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
3
96
mit
3
Basic (mathematical) operations for B-spline functions and related things with julia
julia nurbs fitting b-spline refinement
Created 2020-04-25
835 commits to main branch, last one 4 months ago
bkuhlmann
refinements bkuhlmann
5
74
other
7
A collection of core object refinements.
refinement ruby-language
Created 2015-07-19
782 commits to main branch, last one 11 days ago
coq-community
coqeal coq-community
17
66
other
14
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
coq coq-ci mathcomp refinement mathcomp-ci coq-platform
Created 2014-02-10
814 commits to master branch, last one 3 months ago
airshaper
adaptive-mesh-refinement airshaper
11
61
gpl-3.0
5
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
tlaplus-workshops
ewd998 tlaplus-workshops
47
50
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 2 months ago
lemmy
ewd998 lemmy
13
42
mit
6
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
robertZaufall
mindmanager_ai robertZaufall
2
31
mit
5
MindManager Automation and AI Integration on Windows and macOS
vba wwb gpt4 groq macos macros ollama openai python claude3 mermaid mindjet mindmap mistral mixtral azure-ai appscript refinement applescript mindmanager
Created 2023-10-22
300 commits to master branch, last one 13 hours ago