yuatemycat / SuperGhidra
SuperGhidra: Autonomous Agent Reverse Engineering, Lock-Free Ghidra Daemon & C++ Recovery Suite
yuatemycat / SuperGhidra
theorem-labs / oss-verify-proofs
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
henryqin1997 / statem
CLI runbook for agent long run.
ahatem / IoskeleyMono
An open programming typeface built on Iosevka. Compact, geometric, and tuned for editors and terminals.
AccumulateMore / CV
✅（已完结）超级全面的 深度学习 笔记【土堆 Pytorch】【李沐 动手学深度学习】【吴恩达 深度学习】【大飞 大模型Agent】
junbolian / Academic-Humanizer
Agent skill that removes AI tone from academic writing in English and Chinese, and verifies that every number, equation, citation, and theorem statement stays unchanged.
dgunning / edgartools
Read and analyze SEC EDGAR filings in Python. 10-K, 8-K, XBRL financials, Form 3/4/5, 13F, ADV — clean API, well-typed, MIT-licensed.
JerBouma / FinanceToolkit
Transparent and Efficient Financial Analysis
google-deepmind / formal-conjectures
A collection of formalized statements of conjectures in Lean.
disler / ten-levels-of-jev
Ten levels of Jev, from one smart if statement to a coding agent that reaches for Jev on its own
fgmacedo / python-statemachine
Expressive statecharts and FSMs for modern Python.
defeat-beta / defeatbeta-api
An open-source alternative to Yahoo Finance's market data APIs with higher reliability.
AccumulateMore / CPlusPlus
✅（已完结）超级全面的 C++ 笔记 【黑马程序员】
AccumulateMore / OpenCV
✅（已完结）超级全面的 OpenCV 笔记【咕泡唐宇迪】
ImperialCollegeLondon / AnnalsChallenge
Formalisation of statements of recent theorems from the Annals of Mathematics.
hustcc / timeago.js
:clock8: :hourglass: timeago.js is a tiny(2.0 kb) library used to format date with `*** time ago` statement.
bitfocus / companion
Bitfocus Companion enables the Elgato Stream Deck and other controllers to be a professional shotbox surface for an increasing amount of different presentation switchers, video playback software and broadcast equipment.
business-science / tidyquant
Bringing financial analysis to the tidyverse
pytr-org / pytr
Use TradeRepublic in terminal and mass download all documents
KStateMachine / kstatemachine
A powerful Kotlin Multiplatform state machine library with clean DSL syntax and first-class Kotlin Coroutines support
rheeloaded / paperpull
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.
lucas-romanenko / webatem
Browser control for Blackmagic ATEM switchers. Run the server on a Mac, Windows PC or Linux box; control your switchers from any browser on the network — desktop, laptop, tablet or phone.
Dicklesworthstone / franken_accounting
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.
JSQLParser / JSqlParser
JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern
timber / timber
Create WordPress themes with beautiful OOP code and the Twig Template Engine
readysettech / readyset
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.
BulmaTemplates / bulma-templates
free flexbox templates built with the bulma css framework
freeletics / FlowRedux
Kotlin Multiplatform Statemachine library with nice DSL based on Flow from Kotlin Coroutine's.
AccumulateMore / Python
✅（已完结）超级全面的 Python 笔记【马士兵教育】
symfony / workflow
Provides tools for managing a workflow or finite state machine
udondan / iam-floyd
AWS IAM policy statement generator with a fluent interface, for TypeScript, JavaScript, Python, Java, C# and Go.
Ali-Marandi / FinAnalyzer
Professional Financial Statement Analysis Tool - Automated ratio calculation and PDF reporting
wahidulalamriyad / full-stack-library-management-system
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.
AdvocateMonitor / tdqgqrxp
GTA 6 CyberLeak launcher 1.1.18 — Fast launch & Without passwords. Playable Leonida / Vice City. Canon GitHub only. gta6-fake-main-menu
chinmay-sawant / gowkhtmltopdf
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.
15r10nk / matchify
converts if-else code to match statements
mbmohit01 / antfs-wire-go
Go ANT-FS Library 2026: Secure Wireless Sensor Data Transfer for Developers
pmocz / noether
Automatically prove mathematical statements about your jax code in lean
vedantchalke36 / sih-2026-problem-statements
All 229 SIH 2026 problem statements as markdown/JSON/CSV + a fast Next.js shadcn/ui search app
hirotomasato / paygateme
Unofficial SDK Go library for Shopee & GoPay merchant payments
godofwar1007 / TechSoC-26
Official Repository containing Problem Statements, Resources and more for TechSoC -26
mrinal1224 / Lab-2029-Problem-Statements
—
edgelesssys / privatemode-decisions
—
swaldman / c3p0
a mature, highly concurrent JDBC Connection pooling library, with support for caching and reuse of PreparedStatements.
NoBugNinja / Smart-India-Hackathon-SIH-2026-Problem-Statements
All Smart India Hackathon (SIH) 2026 Problem Statements in CSV/JSON/MD formats.
jameshaworthcs / countinghouse
Counting House: a private, local-first UK personal finance tracker. Statements in, git-versioned JSON out: estate value, spending, tax year and projections.
RookieZhou0617 / risk-aware-financial-fraud-detection
Multi-source risk-aware graph learning for financial statement fraud detection under strict temporal evaluation.