Transparent and Efficient Financial Analysis
Readyset is a MySQL and Postgres wire-compatible caching layer that sits in front of existing databases to speed up queries and horizontally scale read throughput. Under the hood, ReadySet caches the results of cached select statements and incrementally updates these results over time as the underlying data changes.
A collection of formalized statements of conjectures in Lean.
a mature, highly concurrent JDBC Connection pooling library, with support for caching and reuse of PreparedStatements.
Bringing financial analysis to the tidyverse
Use TradeRepublic in terminal and mass download all documents
An open-source alternative to Yahoo Finance's market data APIs with higher reliability.
A teaching project for a 4-role library system: admin, librarian, student, visitor. Written in plain PHP with procedural mysqli and prepared statements. No frameworks, no Composer, no build step. Copy it into XAMPP and it runs.
Download years of statements, receipts, pay stubs and tax forms from 60+ banks, cards, employers, stores and utilities as PDFs, then turn them into spreadsheets. You sign in, it only downloads and never pays a bill, moves money or changes a setting. Free, open source, no cloud. Windows, Mac, or PaperPull Server in Docker beside paperless-ngx.
Pure-Go HTML template engine: HTML→PDF and HTML→image for invoices, certificates, storybooks, posters, statements, and tables. No browser, no cgo, wkhtmltopdf work-alike.
converts if-else code to match statements
Automatically prove mathematical statements about your jax code in lean
All 229 SIH 2026 problem statements as markdown/JSON/CSV + a fast Next.js shadcn/ui search app
Counting House: a private, local-first UK personal finance tracker. Statements in, git-versioned JSON out: estate value, spending, tax year and projections.
All Smart India Hackathon (SIH) 2026 Problem Statements in CSV/JSON/MD formats.
Formalisation of statements of recent theorems from the Annals of Mathematics.
Official Repository containing Problem Statements, Resources and more for TechSoC -26
—
Universal, evidence-native double-entry accounting system of record in Rust on FrankenGraphDB: bitemporal, append-only with first-class restatements, exact money algebra, counterfactual branches, in-database forensic analytics, outsider-verifiable proofs, and an agent-first CLI/MCP surface for CPAs, regulators, litigators, and investigators.