Projects in Awesome Lists tagged with refinement
A curated list of projects in awesome lists tagged with refinement .
https://github.com/cdcseacave/openMVS
open Multi-View Stereo reconstruction library
3d-reconstruction dense-point-cloud dense-reconstruction mesh multi multi-view-stereo openmvs patch-match point-cloud refinement semi-global-matching sgm stereo stereo-matching stereo-reconstruction-library stereo-vision surface texture
Last synced: 18 Mar 2025
https://github.com/hyrodium/basicbspline.jl
Basic (mathematical) operations for B-spline functions and related things with julia
b-spline fitting julia nurbs refinement
Last synced: 08 Feb 2026
https://github.com/bkuhlmann/refinements
A collection of core object refinements.
Last synced: 12 Apr 2025
https://github.com/rocq-community/coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
coq coq-ci coq-platform mathcomp mathcomp-ci refinement
Last synced: 09 Apr 2025
https://github.com/coq-community/coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
coq coq-ci coq-platform mathcomp mathcomp-ci refinement
Last synced: 20 Feb 2025
https://github.com/glycojones/privateer
The Swiss Army knife for carbohydrate structure validation, refinement and analysis
carbohydrates ccp-em ccp4 ccp4i2 clipper cryoem crystallography glycosylation refinement snfg svg validation york
Last synced: 05 Feb 2026
https://github.com/aican-research/h2g-net
🚀 H2G-Net: Segmentation of breast cancer region from whole slide images
agu-net breast-cancer clustering cnn computational-pathology convolutional-neural-networks deep-learning digital-pathology h2g-net medical-imaging mobilenetv2 refinement segmentation tensorflow tensorflow-keras u-net whole-slide-image
Last synced: 23 Apr 2025
https://github.com/starydark/paxosstore-tla
Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
Last synced: 06 Feb 2026
https://github.com/kevin-lee/extras
A few extra tools
cats concurrency console-io newtype refined refinement refinement-type scala tools
Last synced: 13 Apr 2025
https://github.com/justinwoo/purescript-home-run-ball
A library for applying a row of rules for validation to refine a value
purescript refinement row-types validation
Last synced: 09 Oct 2025
https://github.com/kevin-lee/refined4s
newtype and refinement (refined) type for Scala 3
functional-programming newtype refined refined-types refinement refinement-types scala
Last synced: 28 Dec 2025
https://github.com/jwiegley/refine-freer
Experiments with an extensible refinement framework
coq effects freer-effects refinement
Last synced: 25 Oct 2025
https://github.com/danielbayley/refinery
@Ruby refinements @RubyGems for your @Rails project.
gem rails refinement ruby ruby-gem ruby-on-rails rubygem
Last synced: 06 Apr 2025
https://github.com/hengxin/jupiter-refinement-project
Jupiter Refinement Project
collaborative-editing formal-verification jupiter refinement tla tlaplus tlaps tlc
Last synced: 12 Oct 2025
https://github.com/makiftutuncu/as
No-macro, no-reflection, opinionated type refinement library for Scala 3
refinement refinement-types sbt scala
Last synced: 06 Apr 2025
https://github.com/yujideveloper/struct_cast
StructCast provides the refinement module that defines the method for casting to a Struct object
Last synced: 13 Sep 2025
https://github.com/4383/inkspect
A CLI tool to streamline your LLM workflow by bringing prompt refinement and generation directly into your favorite editor
cli editor llm prompt-engineering refinement
Last synced: 20 Jan 2026
https://github.com/padreyer/planning-poker
Refine tickets with your colleges and Planning-Poker !
agile-poker backlog-refinement planning planning-poker planning-poker-game refinement tickets
Last synced: 18 Jan 2026
https://github.com/sr-lab/tiny-synth
An experiment in synthesis of C code from a functional language.
c code-generation functional-language python refinement synthesis
Last synced: 09 Oct 2025
