Codes needed to replicate the results in Algeri and Khmaladze (2026) https://arxiv.org/abs/2406.09195

A real-time signal visualization and diagnostics suite for custom metal detectors (VLF/PI). Built with Next.js and Python, featuring live phase-shift vector plots, digital filter analysis, and AI a…

This is the offical repository of paper "LAMBDA: A large Model Based Data Agent". https://www.polyu.edu.hk/ama/cmfai/lambda.html

Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"

Create elegant graphics with the Grammar of Graphics for Typst.

ATLAS Autoformalized Textbook Library At Scale

Robust Local Polynomial Methods for BD designs

Every big regression is a small regression with weights.

Garry's Opinionated OpenClaw/Hermes Agent Brain

A new record linkage project in R based on splink

Source code for my personal website!

Templates and guidelines for reproducible replication packages.

Academic Research Skills for Claude Code: research → write → review → revise → finalize

Lean 4 + Mathlib formalization of arXiv:2603.21852 (Odrzywołek, EML)

Billion scale vector clustering. One Machine. Zero GPUs.

A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…

Use claude code, codex or pi for free from the terminal, IDE, or your phone like OpenClaw (voice supported)

Archive a lifetime of email and chat. Offline search, analytics, and AI query over your full message history. Powered by SQLite and DuckDB

A blazing fast inference solution for text embeddings models

formalizing econometrics

📦 exactt

Positron, a next-generation data science IDE

CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies

De-AI-ify scientific writing

Polars IO plugin to read SAS (sas7bdat), Stata (dta), and SPSS (sav) files