refinement

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

Refinement calculus traži specifikaciju koju moraš sačuvati. Za loto nema S tipa „sledeće kolo je tačno ovo“ — CSV je istorija, ne ugovor o next. Ne moze od CSV-a izvesti dokazano tačan next rafinisanjem.

Praxis: behavioral refinement loop — measures skill outcomes against baselines and promotes improvements.

A Collection of handy llm interaction scripts including Prompt refinement, idea generation and a command line llm client

Media Consolidation toolkit - used for aggregating file types across a machine in one place

Cluster-Aware Sequential Refinement (CASR) for test-free multi-model code generation and model-pool selection.

bintel-03-cleaning class project https://github.com/stoutjonathan101/bintel-03-cleaning/projects

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.

python class utility of 2D auto-refining grid to solve thermodynamic equilibrium problems

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

Planning Poker running on terminal, for non UI lovers :D

Tools for mesh refinement and manipulation

Tiny Recursive Models: Less Is More

Refinement calculus traži specifikaciju koju moraš sačuvati. Za loto nema S tipa „sledeće kolo je tačno ovo“ — CSV je istorija, ne ugovor o next.

Refinement calculus traži specifikaciju koju moraš sačuvati. Za loto nema S tipa „sledeće kolo je tačno ovo“ — CSV je istorija, ne ugovor o next. Ne moze od CSV-a izvesti dokazano tačan next rafinisanjem. Za gradnju/proveru skripte, ne za pogodak.

⚡ Optimize your XRPL trading with grid-wizard: a reliable grid engine featuring a lightweight UI, hot-reloadable settings, and intelligent dip management.

Pixel-wise segmentation on VOC2012 dataset using pytorch.

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

A tiny, dependency-free engine for iterative refinement loops: propose, check, revise, repeat.

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…