Here are
27 public repositories
matching this topic...
open Multi-View Stereo reconstruction library
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
-
Updated
Aug 11, 2020
-
Scala
Helpful components for aligning and keeping virtual objects aligned with the physical world.
A collection of refinements to core Ruby objects.
Improving genome bins through the combination of different binning programs
-
Updated
May 5, 2019
-
Python
Efficient Matlab Implementation of Adaptive Mesh Refinement in 2D
-
Updated
Jan 14, 2020
-
MATLAB
A library for applying a row of rules for validation to refine a value
-
Updated
Jun 20, 2018
-
PureScript
Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
-
Updated
Mar 25, 2017
-
OCaml
The Swiss Army knife for carbohydrate structure validation, refinement and analysis
Experiments with an extensible refinement framework
Efficient Matlab Implementation of Adaptive Mesh Coarsening in 2D
-
Updated
Jan 17, 2020
-
MATLAB
Knotical: An Inference System of Trace Refinement Relations
-
Updated
Oct 23, 2019
-
HTML
A library with those neat little methods I find myself in need of in every Ruby project.
-
Updated
Feb 17, 2018
-
Ruby
DcmDict is a Ruby gem (dcm_dict) to handle in a simple way the Data Dictionary defined within the DICOM Standard
-
Updated
Jul 21, 2020
-
Ruby
Refinement model with first-order logic and range algebra
-
Updated
Apr 2, 2019
-
Haskell
No-macro, no-reflection, opinionated type refinement for Scala, powered by e
-
Updated
May 14, 2020
-
Scala
Adaptative Code refinement
Refinement of the core String class, extending it with class and instance methods for streamlined string construction.
-
Updated
Jul 10, 2018
-
Ruby
Pixel-wise segmentation on VOC2012 dataset using pytorch.
-
Updated
May 22, 2017
-
Python
-
Updated
Nov 10, 2017
-
Shell
An experiment in synthesis of C code from a functional language.
-
Updated
Jan 27, 2017
-
Python
Jupiter Refinement Project
M2 MACS: Implémentation d'une méthode de volumes finis 1D utilisant un algorithme de raffinement
-
Updated
Dec 3, 2019
-
Jupyter Notebook
Data validation inspired by refinement type
-
Updated
Aug 2, 2020
-
JavaScript
Relaxed multi-levelset segmentation package, with tomographically consistent refinement.
-
Updated
Apr 19, 2020
-
Python
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
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.