Stars
Interactive visualization and analytics on ADS-B data with ClickHouse
Local-first AI-powered document intelligence platform for investigative journalism
🚜 Collect of CAN IDs and its payloads for various car brands/models in one place. Might be useful for Cyber Security Researchers, Reverse Engineers, and Automotive Electronics Enthusiasts.
Generic Diagnostic Tool is an open source, free J2534 PassThru software tool for general purpose use of raw diagnostic protocols on an ECU.
▁▅▆▃▅ Git quick statistics is a simple and efficient way to access various statistics in git repository.
My master's thesis about the topic "High-performance 2D graphics rendering on the CPU using sparse strips"
Python library for arbitrary-precision floating-point arithmetic
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
Firmware & goodies for making a KEYER (one-handed chorded keyboard).
A fast, compressed, persistent binary data store library for C.
Astrodynamics and Spacecraft Toolkit. Features fast orbit prop, celestial precession, CCSDS parsing, RF parsing, fits image parsing, and more!
A C++ & Python viewer for 3D data like meshes and point clouds
Hardware Design Reference Repository This repository contains a curated collection of **books, tutorials, cheat sheets, models, and scripts** for electronics design and simulation tools:
Fully open reproduction of DeepSeek-R1
I made my AI think harder by making it argue with itself repeatedly. It works stupidly well.
An FTP transport adapter for use with the Python Requests library.
A portable microkernel-based multiserver operating system written from scratch.
Python library to access and analyze SEC Edgar filings, XBRL financial statements, 10-K, 10-Q, and 8-K reports
Non-blocking Python methods using decorators
Download market data from Yahoo! Finance's API
A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.