rocq-community/coqeal

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

Language: Rocq Prover - Size: 2.01 MB - Last synced at: about 5 hours ago - Pushed at: about 6 hours ago - Stars: 70 - Forks: 17

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: 74.2 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 5 - Forks: 1

bkuhlmann/refinements

A collection of core object refinements.

Language: Ruby - Size: 1010 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 79 - Forks: 5

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: 3 months ago - Stars: 101 - Forks: 4

robertZaufall/mindmanager_ai

MindManager AI Integration on Windows and macOS

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

kevin-lee/refined4s

newtype and refinement (refined) type for Scala 3

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

zhuzhiwei99/NeuralMeshRefinement

Official implementation of Neural Mesh Refinement (NMR): a robust mesh refinement method that learns rich structural priors during training and then adaptively applies the priors during inference to refine coarse shapes to finer ones based on their geometry.

Language: Python - Size: 192 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0

glycojones/privateer

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

Language: C++ - Size: 797 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 29 - Forks: 9

KazKozDev/deepchain-refinement

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

Language: Python - Size: 6.38 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 3 - Forks: 1

cdcseacave/openMVS

open Multi-View Stereo reconstruction library

Language: C++ - Size: 4.03 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 3,631 - Forks: 931

codelion/SpinR

Spin with Refinement

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

kevin-lee/extras

A few extra tools

Language: Scala - Size: 5.91 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 16 - Forks: 0

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.44 MB - Last synced at: 28 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 1

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: 7 months ago - Stars: 27 - Forks: 7

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: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

contractautomataproject/nmts

Implementation of Non-Reducible Modal Transition Systems Refinement

Language: Java - Size: 0 Bytes - Last synced at: 4 months ago - Pushed at: 4 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: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

tataratat/tetgenpy

python tetgen wrapper

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

Starydark/PaxosStore-tla

Specifying and Verifying the consensus algorithm in PaxosStore using TLA+

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

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: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

jwiegley/refine-freer

Experiments with an extensible refinement framework

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

HUSTLYRM/ly-rtdetr-ov

Refinement, finetuning, and deployment of RT-DETRv2.

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

FoamScience/mma-trifels-presentation

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

foshardware/refinement

Refinement model with first-order logic and range algebra

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

jonaskeller14/refineRGB

Tools for mesh refinement and manipulation

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

vivri/Adjective

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

Language: Scala - Size: 76.2 KB - Last synced at: 14 days ago - Pushed at: over 4 years ago - Stars: 91 - Forks: 5

makiftutuncu/as

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

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

songweizhi/Binning_refiner

Improving genome bins through the combination of different binning programs

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

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

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

knotical/knotical

Knotical: An Inference System of Trace Refinement Relations

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

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: over 1 year ago - Pushed at: over 5 years ago - Stars: 1 - 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: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

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

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: over 1 year ago - Pushed at: about 4 years ago - Stars: 43 - Forks: 10

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: about 3 years ago - Stars: 207 - Forks: 32

danielbayley/refinery

@Ruby refinements @RubyGems for your @Rails project.

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

Rasie1/c-of-x

a programming language with composable refinements and inverse functions inference

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

jbienzms/SpatialAlignment

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

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

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

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: about 2 years ago - Stars: 1 - Forks: 0

study-driven-developer/book-study

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

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

hengxin/jupiter-refinement-project

Jupiter Refinement Project

Language: TeX - Size: 55.9 MB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 1 - 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: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - 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

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: over 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

Syllo/acr

Adaptative Code refinement

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

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: 8 days ago - Pushed at: over 4 years ago - Stars: 0 - 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: 3 days ago - Pushed at: about 7 years ago - Stars: 12 - Forks: 2

frank-stonybrook/Protein-ligand-refinement

Language: Shell - Size: 9.77 KB - Last synced at: over 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: about 1 year ago - Pushed at: about 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: 4 months ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0