cdcseacave/openMVS

open Multi-View Stereo reconstruction library

Language: C++ - Size: 4.27 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 3,563 - Forks: 926

zhanggang001/RefineMask

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

Language: Python - Size: 3.31 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 207 - Forks: 32

hyrodium/BasicBSpline.jl

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

Language: Julia - Size: 380 MB - Last synced at: 3 days ago - Pushed at: 27 days ago - Stars: 99 - Forks: 4

vivri/Adjective

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

Language: Scala - Size: 76.2 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 92 - Forks: 5

bkuhlmann/refinements

A collection of core object refinements.

Language: Ruby - Size: 1000 KB - Last synced at: 15 days ago - Pushed at: about 1 month ago - Stars: 79 - Forks: 5

rocq-community/coqeal

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

Language: Coq - Size: 2.01 MB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 70 - Forks: 17

robertZaufall/mindmanager_ai

MindManager AI Integration on Windows and macOS

Language: Python - Size: 119 MB - Last synced at: 5 days ago - Pushed at: 10 days ago - Stars: 52 - Forks: 2

tlaplus-workshops/ewd998

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

Language: TLA - Size: 1.95 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 46 - Forks: 47

airshaper/adaptive-mesh-refinement

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

Language: C++ - Size: 8.57 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 43 - Forks: 10

lemmy/ewd998 📦

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

Language: TLA - Size: 1.61 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 41 - Forks: 12

songweizhi/Binning_refiner

Improving genome bins through the combination of different binning programs

Language: Python - Size: 87.6 MB - Last synced at: 10 days ago - Pushed at: about 2 years ago - Stars: 31 - Forks: 4

jbienzms/SpatialAlignment

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

Language: C# - Size: 102 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 31 - Forks: 5

glycojones/privateer

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

Language: C++ - Size: 762 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 28 - Forks: 9

AICAN-Research/H2G-Net

🚀 H2G-Net: Segmentation of breast cancer region from whole slide images

Language: Jupyter Notebook - Size: 61.8 MB - Last synced at: 6 days ago - Pushed at: 6 months ago - Stars: 25 - Forks: 7

Starydark/PaxosStore-tla

Specifying and Verifying the consensus algorithm in PaxosStore using TLA+

Language: TLA - Size: 20 MB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 21 - Forks: 5

kevin-lee/extras

A few extra tools

Language: Scala - Size: 6.76 MB - Last synced at: 15 days ago - Pushed at: 11 months ago - Stars: 16 - Forks: 0

justinwoo/purescript-home-run-ball

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

Language: PureScript - Size: 10.7 KB - Last synced at: 9 days ago - Pushed at: almost 7 years ago - Stars: 12 - Forks: 2

kevin-lee/refined4s

newtype and refinement (refined) type for Scala 3

Language: Scala - Size: 3.25 MB - Last synced at: 15 days ago - Pushed at: 26 days ago - Stars: 10 - Forks: 2

Rasie1/c-of-x

a programming language with composable refinements and inverse functions inference

Language: C++ - Size: 804 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 9 - Forks: 0

tataratat/tetgenpy

python tetgen wrapper

Language: C++ - Size: 2.68 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 6 - Forks: 1

codelion/SpinR

Spin with Refinement

Language: OCaml - Size: 68.4 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 6 - Forks: 6

cssr-tools/pycopm

Creation of OPM Flow geological models from provided input decks with options for grid refinement, grid coarsening, submodels, and transformations including scalings, rotations, and translations.

Language: ECL - Size: 73.5 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 5 - Forks: 1

jwiegley/refine-freer

Experiments with an extensible refinement framework

Language: Coq - Size: 179 KB - Last synced at: 21 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 1

study-driven-developer/book-study

교양있는 개발자들의 우아한 독서 모임

Size: 32.2 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 2

KazKozDev/deepchain-refinement

Python-based system that automatically applies refinement techniques to LLM and reduces hallucination.

Language: Python - Size: 6.37 MB - Last synced at: 12 days ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 1

malabz/TPMA

⚙️TPMA: a two pointers meta-alignment tool to ensemble different nucleic acid multiple sequence alignment results

Language: C++ - Size: 63.5 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

knotical/knotical

Knotical: An Inference System of Trace Refinement Relations

Language: HTML - Size: 5.46 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 2

henrythebuilder/dcm_dict

DcmDict is a Ruby gem (dcm_dict) to handle in a simple way the Data Dictionary defined within the DICOM Standard

Language: Ruby - Size: 1.43 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 0

makiftutuncu/as

No-macro, no-reflection, opinionated type refinement library for Scala 3

Language: Scala - Size: 32.2 KB - Last synced at: 22 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

HUSTLYRM/ly-rtdetr-ov

Refinement, finetuning, and deployment of RT-DETRv2.

Language: Python - Size: 143 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

LeonidBraun/Fast-Vortex-Particles

Incompressible Lagrangian Vortex Method for the Navier Stokes Eq. with refinement transfer

Language: C++ - Size: 446 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

danielbayley/refinery

@Ruby refinements @RubyGems for your @Rails project.

Size: 1000 Bytes - Last synced at: 22 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

fmi-basel/RosEM

Pipeline and GUI for cryoEM model refinement using Rosetta and Phenix

Language: Python - Size: 96.7 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 1

hengxin/jupiter-refinement-project

Jupiter Refinement Project

Language: TeX - Size: 55.9 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

Alexsaphir/FiniteVolume-Refinement

M2 MACS: Implémentation d'une méthode de volumes finis 1D utilisant un algorithme de raffinement

Language: Jupyter Notebook - Size: 2.93 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

Syllo/acr

Adaptative Code refinement

Language: C - Size: 426 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

foshardware/refinement

Refinement model with first-order logic and range algebra

Language: Haskell - Size: 25.4 KB - Last synced at: 10 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 1

karan3691/ML-Model-Based-Solution-to-Refine-CAPTCHA

This project uses machine learning to enhance CAPTCHA systems by generating robust challenges and validating user responses. It combines a CNN model for CAPTCHA recognition, adversarial techniques to deter bots, and a customizable Streamlit web interface for improved security and user experience.

Language: Python - Size: 10.7 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0

contractautomataproject/nmts

Implementation of Non-Reducible Modal Transition Systems Refinement

Language: Java - Size: 0 Bytes - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

FKIRSTE/coling2025-feedback-meeting-sum

Repo for the COLING 2025 paper "What's Wrong? Refining Meeting Summaries with LLM Feedba"

Language: Python - Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

SravanChittupalli/3DGS-Pose-Refinement

This repository contains an unofficial implementation of GSLoc paper. It includes modified versions of external modules and custom scripts for estimating camera pose using 3D Gaussian Splatting.

Language: C++ - Size: 26.4 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

FoamScience/mma-trifels-presentation

Language: HTML - Size: 14.4 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

PaDreyer/planning-poker

Refine tickets with your colleges and Planning-Poker !

Language: TypeScript - Size: 800 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

PramodRawat157/Data-Analysis-with-Python---IBM-Data-Science

To import data from multiple sources, clean and wrangle data, perform exploratory data analysis (EDA), and create meaningful data visualizations. I will then predict future trends from data by developing linear, multiple, polynomial regression models & pipelines and learn how to evaluate them.

Language: Jupyter Notebook - Size: 9.02 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 1

jonaskeller14/refineRGB

Tools for mesh refinement and manipulation

Language: Python - Size: 130 MB - Last synced at: 11 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

xbreu/automotive-system

Development of a formal model for an adaptive exterior light and speed control system.

Language: Alloy - Size: 3.59 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

ccoffey1/Agile-Story-Point-Game

An app to help promote team discussion and alleviate unbiased voting of points on tickets during refinement sessions.

Language: C# - Size: 433 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

cicwi/PyRMLSeg

Relaxed multi-levelset segmentation package, with tomographically consistent refinement.

Language: Python - Size: 5.59 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

yujideveloper/struct_cast

StructCast provides the refinement module that defines the method for casting to a Struct object

Language: Ruby - Size: 26.4 KB - Last synced at: about 18 hours ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

frank-stonybrook/Protein-ligand-refinement

Language: Shell - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

uzeful/piwise Fork of bodokaiser/piwise

Pixel-wise segmentation on VOC2012 dataset using pytorch.

Language: Python - Size: 45.9 KB - Last synced at: 12 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

sr-lab/tiny-synth

An experiment in synthesis of C code from a functional language.

Language: Python - Size: 9.77 KB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0