9 results found Sort:

cdcseacave
openMVS cdcseacave
913
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
548 commits to develop branch, last one a day 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
4
100
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 5 months ago
bkuhlmann
refinements bkuhlmann
5
76
other
7
A collection of core object refinements.
refinement ruby-language
Created 2015-07-19
800 commits to main branch, last one a day ago
coq-community
coqeal coq-community
17
67
other
14
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
coq coq-ci mathcomp refinement mathcomp-ci coq-platform
Created 2014-02-10
816 commits to master branch, last one 15 days ago
airshaper
adaptive-mesh-refinement airshaper
11
63
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 3 months ago
robertZaufall
mindmanager_ai robertZaufall
2
43
mit
6
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
364 commits to master branch, last one 19 hours 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