A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.

Tensors and Dynamic neural networks in Python with strong GPU acceleration

A command-line MacOS sleep program (like SleepNow)

LLMs as Copilots for Theorem Proving in Lean

A minimal development of SSA theory

A verification toolchain for Rust programs

Lean 4 programming language and theorem prover

The math library of Lean 4

The math library of Lean 4

Numpy main repository

A Julia module providing the definition of the circle constant Tau (2π)

The user home repository for the Mathematics in Lean tutorial.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

This tool is used to install `pyenv` and friends.

DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence

🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

DeepSeek Coder: Let the Code Write Itself

A generative world for general-purpose robotics & embodied AI learning.

A markup-based typesetting system that is powerful and easy to learn.

The LaTeX2e kernel

FSRS for Rust, including Optimizer and Scheduler

GitHub’s official command line tool

A Rust library designed for computing tau to millions of digits

A Python Interpreter written in Rust

文言文編程語言 A programming language for the ancient Chinese.

⚗ A package useful for chemistry written in Python