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

Spin with Refinement

Pixel-wise segmentation on VOC2012 dataset using pytorch.

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

Refinement model with first-order logic and range algebra

Adaptative Code refinement

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

Efficient Matlab Implementation of Adaptive Mesh Refinement in 2D

Efficient Matlab Implementation of Adaptive Mesh Coarsening in 2D

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

Jupiter Refinement Project

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

Specifying and Verifying the consensus algorithm in PaxosStore using TLA+

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

Knotical: An Inference System of Trace Refinement Relations

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

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

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

Built framework for Image dehazing for autonomous/electric vehicles driving in inclement weather conditions using deep learning Created a dehazing interface using Stream Lit which takes a foggy image as an input and gives the clear image as an output .Took an existing dataset, cleaned, and manipulated using Python and Deployed on website through…