Freelancers using GitHub in Coalville

Freelancers using GitHub in CoalvilleFreelancers using GitHub in Coalville

Projects People

Sophia Livanos

Coalville LE67, UK

AI strategy, automation & digital solutions consultant

New to Contra

AI strategy, automation & digital solutions consultant

Cover image for Phrenos.ai (http://Phrenos.ai) - Premium AI

Phrenos.ai (http://Phrenos.ai) - Premium AI Consultancy Website Designed and developed a premium website for an independent AI consultancy, combining a distinctive visual identity with clear service positioning and a sophisticated user experience. The site translates complex AI, data and automation services into a clear, credible digital presence while maintaining a strong editorial aesthetic across desktop and mobile. My role: Website strategy · UX/UI design · Front-end development · Responsive design · Brand implementation · Content structure · Visual direction · Deployment Key features: • Custom responsive website • Distinctive luxury visual identity • Clear consultancy and service architecture • Strong conversion-led calls to action • Editorial typography and layout • Mobile optimisation • Interactive visual elements • Deployment and launch

Cover image for The Hospitality Nerd — Custom

The Hospitality Nerd — Custom Website Design & Development Designed and developed a distinctive, responsive website for a hospitality analytics and automation brand. The site was built to communicate a complex B2B proposition clearly while giving the brand a strong, memorable visual identity. The experience combines bold typography, interactive data-led visuals, clear conversion paths and responsive layouts across desktop and mobile. My role: Website strategy · UX/UI design · Front-end development · Responsive design · Brand implementation · Content structure · Interactive elements · Deployment Key features: • Custom responsive design • Data-led interactive visuals • Clear service and product architecture • Conversion-focused calls to action • Modern animations and interactions • Mobile optimisation • Custom brand styling • Deployment and launch

AI-Powered Reporting Automation Platform

Content Buddy: AI Knowledge & Workflow Assistant

GitHub(3)

Satyawan Singh

Leicester, UK

AI/ML engineer who builds custom models, not wrappers.

New to Contra

AI/ML engineer who builds custom models, not wrappers.

Cover image for I just launched cargo-vouch, an

I just launched cargo-vouch, an open-source Rust tool that proves a function can't panic. No tests to write, no annotations to add. Point it at a .rs file, and it builds a Kani proof harness for every function, then checks every input in bounds. Each function comes back with one of four verdicts: 🔴 BUG, with the exact input that triggers the panic 🟡 UNGUARDED, safe except at type extremes like i32::MAX 🟢 VERIFIED, provably panic-free ⏳ INCONCLUSIVE, when it cannot decide Why I built it: AI writes Rust that passes cargo test, then panics on an edge input nobody tried. For example, numbers.iter().sum() looks fine until something hands it [i32::MAX, 1]. I ran it on 11 functions GPT-4o wrote and graded. GPT-4o's own grading got 4 of them wrong: it passed three that overflowed and failed one that was fine. cargo-vouch called all four correctly, with the triggering input for each real panic. The honest limit: it is built for loop-light code. Parsers and loop-heavy functions return INCONCLUSIVE, never a false pass. I would rather say that than oversell it. If you write Rust, I would like your feedback. Repo - https://lnkd.in/eHirVFQq (https://lnkd.in/eHirVFQq)cargo install cargo-vouch #rustlang (https://www.linkedin.com/search/results/all/?keywords=%23rustlang&origin=HASH_TAG_FROM_FEED) #opensource (https://www.linkedin.com/search/results/all/?keywords=%23opensource&origin=HASH_TAG_FROM_FEED) #formalverification (https://www.linkedin.com/search/results/all/?keywords=%23formalverification&origin=HASH_TAG_FROM_FEED)

Cover image for Stigmergic consensus for multi-agent /

Stigmergic consensus for multi-agent / multi-model systems. A learned, stateful alternative to majority vote and self-consistency: agents deposit weighted signals into a shared pool, a short truth-discovery loop converges on consensus, and cross-run pheromone memory teaches the swarm which agents to trust. Pure Python, zero dependencies, provider-agnostic.

AI/ML Engineering Custom Models, Agents & Systems

Cover image for PRAXIS is my MSc dissertation

PRAXIS is my MSc dissertation project at the University of Leicester: an end-to-end deep-learning system for voice-based biomarkers, designed and built from scratch. I architected and implemented the full pipeline: a self-supervised speech representation model plus a downstream biomarker system, and contributed multiple novel technical and methodological advances, documented in a 15,000+ word dissertation with full research rigour. What I did: Designed a custom deep-learning architecture for speech/audio (self supervised learning + domain adaptation) Developed several original contributions in [voice-biomarker modelling/representation learning] (kept high-level to protect the method) Built a reproducible, rigorously evaluated pipeline end-to-end: data → model → results

GitHub(2)