Lists (6)
Stars
Fast Rust library for PDF inspection, classification, and text extraction. Intelligently detects scanned vs text-based PDFs to enable smart routing decisions.
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
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
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 and Pi for free from your terminal, app, IDE, or 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
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