Transparent and Efficient Financial Analysis

This is a database of 300.000+ symbols containing Equities, ETFs, Funds, Indices, Currencies, Cryptocurrencies and Money Markets.

Readings on computational logic, interactive theorem proving and functional programming.

A minimal development of SSA theory

Lean 4 port of Megaparsec

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

A markdown terminal slideshow tool

什么？你敢放心的把后背交给 AI? 我赌你不敢，那就来学学 AI 时代最酷、最安全、最快的语言吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book

Hello world in every programming language. If I can't automatically merge your changes on github, I'm not merging them :)

Hello world in every computer language. Thanks to everyone who contributes to this, make sure to see contributing.md for contribution instructions!