A collection of core object refinements.

Mindjet Mindmanager automation and OpenAI / LLM Integration

newtype and refinement (refined) type for Scala 3

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

open Multi-View Stereo reconstruction library

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

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

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

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

A few extra tools

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

python tetgen wrapper

a programming language with composable refinements and inverse functions inference

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

Refine tickets with your colleges and Planning-Poker !

Experiments with an extensible refinement framework

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

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

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

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.