A collection of formalized statements of conjectures in Lean.

Lean Algorithmic Trading Engine by QuantConnect (Python, C#)

The math library of Lean 4

The Lean Computer Science Library (CSLib)

Lean 4 programming language and theorem prover

A game designed to let you show off your code-fu by solving problems in the least number of characters.

A community database for the problems on the erdosproblems.com site

A collection of full time roles in SWE, Quant, and PM for new grads.

Free, open source crypto trading bot

A cryptocurrency trading API with more than 100 exchanges in JavaScript / TypeScript / Python / C# / PHP / Go

resources of quantitative trading

Welcome to a calmer internet

Sioyek is a PDF viewer with a focus on textbooks and research papers

A concise, beginner-friendly introduction to the core ideas of linear algebra.

Competitive Programmer's Handbook

⭐️ Companies that don't have a broken hiring process

List of Tech Company OAs. Save your time from finding them all over the internet.

Bitcoin Core integration/staging tree

u/RemindMeBot on reddit

18.06 course at MIT

2026 SWE internship & new graduate job list updated daily

⬇️ The only Markdown Cheatsheet you will ever need to raise your docs to the next level. PDF included.

An extensive list of Shields.io badges.

Badges for your personal developer branding, profile, and projects.

Notepad++ official repository