Lists (6)
Stars
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 and codex for free in the terminal, VSCode extension, and discord like OpenClaw (voice supported)
Archive a lifetime of email and chat. Offline search, analytics, and AI query over your full message history. Powered by 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
Polars IO plugin to read SAS (sas7bdat), Stata (dta), and SPSS (sav) files
Cleora AI is a general-purpose open-source model for efficient, scalable learning of stable and inductive entity embeddings for heterogeneous relational data. Created by Synerise.com team.
Awesome list of rstats skills for AI workflows