refinement

Here are 41 public repositories matching this topic...

cdcseacave / openMVS

Sponsor

open Multi-View Stereo reconstruction library

texture point-cloud mesh refinement stereo multi-view-stereo surface multi 3d-reconstruction stereo-vision stereo-matching stereo-reconstruction-library sgm dense-reconstruction openmvs dense-point-cloud semi-global-matching

Updated Aug 13, 2022
C++

zhanggang001 / RefineMask

Star

RefineMask: Towards High-Quality Instance Segmentation with Fine-Grained Features (CVPR 2021)

refinement object-detection boundary instance-segmentation

Updated May 11, 2022
Python

vivri / Adjective

Star

Programming is an exercise in linguistics; spice-up Scala types with Adjective.

validation refinement refinement-types constraint-satisfaction

Updated Nov 14, 2020
Scala

coq-community / coqeal

Star

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

coq refinement mathcomp

Updated Aug 24, 2022
Coq

hyrodium / BasicBSpline.jl

Star

Basic (mathematical) operations for B-spline functions and related things with julia

julia fitting refinement nurbs b-spline

Updated Aug 27, 2022
Julia

bkuhlmann / refinements

Sponsor

Star

A collection of refinements to core Ruby objects.

ruby-language refinement

Updated Aug 25, 2022
Ruby

lemmy / ewd998

Star

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF

theorem-proving specification refinement safety model-checking liveness tlaplus

Updated Apr 14, 2022
TLA

aschmidtuulm / ameshref

Star

Efficient Matlab Implementation of Adaptive Mesh Refinement in 2D

grid matlab refinement fem finite-elements adaptive meshes finite-element-methods mesh-refinement-methods adaptive-finite-elements 2d-refinement afem

Updated Jan 14, 2020
MATLAB

airshaper / adaptive-mesh-refinement

Star

OpenFoam® motorBike case with adaptive volume & surface mesh refinement based on curl(U) or grad(p)

mesh refinement cfd openfoam computational-fluid-dynamics snappyhexmesh adaptive-mesh-refinement mesh-refinement adaptive-mesh mesh-refinement-methods computational-fluid-simulation simplefoam pimplefoam

Updated Jun 16, 2021
C++

jbienzms / SpatialAlignment

Star

Helpful components for aligning and keeping virtual objects aligned with the physical world.

augmented-reality hololens architecture alignment refinement drift mixed-reality alignment-strategies

Updated Dec 5, 2021
C#

songweizhi / Binning_refiner

Star

Improving genome bins through the combination of different binning programs

bioinformatics metagenomics refinement binning binning-refiner

Updated Oct 5, 2020
Python

tlaplus-workshops / ewd998

Star

Distributed termination detection on a ring, due to Shmuel Safra:

detection theorem-proving refinement safety model-checking termination specs liveness tlaplus distsys

Updated Aug 12, 2022
TLA

Starydark / PaxosStore-tla

Star

Specifying and Verifying the consensus algorithm in PaxosStore using TLA+

refinement tla

Updated Mar 30, 2021
TLA

glycojones / privateer

Star

The Swiss Army knife for carbohydrate structure validation, refinement and analysis

svg validation crystallography refinement york clipper ccp4 carbohydrates cryoem glycosylation ccp-em ccp4i2 snfg

Updated Aug 10, 2022
C++

justinwoo / purescript-home-run-ball

Star

A library for applying a row of rules for validation to refine a value

validation purescript refinement row-types

Updated Jun 20, 2018
PureScript

Rasie1 / c-of-x

Star

a programming language with composable refinements and inverse functions inference

language programming-language functional experimental refinement gradual

Updated Jun 11, 2017
C++

codelion / SpinR

Star

Spin with Refinement

ocaml refinement promela pml

Updated Mar 25, 2017
OCaml

aschmidtuulm / ameshcoars

Star

Efficient Matlab Implementation of Adaptive Mesh Coarsening in 2D

grid matlab refinement fem finite-elements adaptive meshes finite-element-methods adaptive-finite-elements afem coarsening mesh-coarsening-methods 2d-coarsening

Updated Sep 14, 2020
MATLAB

jwiegley / refine-freer

Star

Experiments with an extensible refinement framework

coq effects refinement freer-effects

Updated Oct 10, 2019
Coq

andreped / H2G-Net

Star

⚡ H2G-Net: Segmentation of breast tumour region from whole slide images

deep-learning clustering tensorflow cnn medical-imaging refinement segmentation convolutional-neural-networks digital-pathology breast-cancer u-net computational-pathology mobilenetv2 tensorflow-keras whole-slide-image h2g-net agu-net

Updated Aug 26, 2022
TeX

Improve this page

Add a description, image, and links to the refinement topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the refinement topic, visit your repo's landing page and select "manage topics."

Learn more