d-atif's Stars
bgavran/Category_Theory_Resources
List of resources for learning Category Theory
martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
jonsterling/forest
My mathematical Zettelkasten, created using forester.
naklecha/llama3-from-scratch
llama3 implementation one matrix multiplication at a time
hrmacbeth/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Coder-World04/ML-AI-Research-Papers---Solved
This repository contains everything you need to become proficient in ML/AI Research and Research Papers
leanprover-community/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
uzulim/hades
Fast singularity detection with kernel
Paper-Proof/paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
ImperialCollegeLondon/formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
PatrickMassot/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
VikParuchuri/marker
Convert PDF to markdown quickly with high accuracy
cxli233/FriendsDontLetFriends
Friends don't let friends make certain types of data visualization - What are they and why are they bad.
microsoft/inshellisense
IDE style command line auto complete
b-mehta/exponential-ramsey
mpedramfar/Lean-game-maker
This project converts structured Lean code into an interactive browser game.
karpathy/nanoGPT
The simplest, fastest repository for training/finetuning medium-sized GPTs.
sebosp/s2protocol-rs
Starcraft 2 Protocol Replay Reader
joelparkerhenderson/queueing-theory
Queueing theory: an introduction for software development
CatalaLang/catala
Programming language for literate programming law specification
Textualize/rich
Rich is a Python library for rich text and beautiful formatting in the terminal.
opentofu/manifesto
The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source license.
hackclub/putting-the-you-in-cpu
A technical explainer by @kognise of how your computer runs programs, from start to finish.
fastai/numerical-linear-algebra
Free online textbook of Jupyter notebooks for fast.ai Computational Linear Algebra course
goldbergyoni/nodebestpractices
:white_check_mark: The Node.js best practices list (July 2024)
evanmiller/LLM-Reading-List
LLM papers I'm reading, mostly on inference and model compression
gto76/python-cheatsheet
Comprehensive Python Cheatsheet
rixx/git-backdate
Backdate a commit or range of commit to a date or range of dates.
eprover/PyRes
Pedagogical first-order prover in Python
petykowski/London-Underground-Dot-Matrix-Typeface
A set of dot matrix fonts in the style of TfL's Underground arrivals board.