d-atif

d-atif's Stars

• bgavran/Category_Theory_Resources

  List of resources for learning Category Theory

  21415

• martinescardo/TypeTopology

  Logical manifestations of topological concepts, and other things, via the univalent point of view.

  Language:Agda22441

• jonsterling/forest

  My mathematical Zettelkasten, created using forester.

  Language:Shell754

• naklecha/llama3-from-scratch

  llama3 implementation one matrix multiplication at a time

  Language:Jupyter Notebook12.8k1k

• hrmacbeth/math2001

  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

  Language:HTML16566

• Coder-World04/ML-AI-Research-Papers---Solved

  This repository contains everything you need to become proficient in ML/AI Research and Research Papers

  48771

• leanprover-community/mathematics_in_lean

  The user home repository for the Mathematics in Lean tutorial.

  Language:HTML229165

• uzulim/hades

  Fast singularity detection with kernel

  Language:Jupyter Notebook322

• Paper-Proof/paperproof

  Lean theorem proving interface which feels like pen-and-paper proofs.

  Language:TypeScript3359

• ImperialCollegeLondon/formalising-mathematics-2024

  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

  Language:Lean10225

• PatrickMassot/GlimpseOfLean

  An introduction to theorem proving in Lean for the impatient.

  Language:Lean7944

• VikParuchuri/marker

  Convert PDF to markdown quickly with high accuracy

  Language:Python15.9k877

• cxli233/FriendsDontLetFriends

  Friends don't let friends make certain types of data visualization - What are they and why are they bad.

  Language:R6.3k223

• microsoft/inshellisense

  IDE style command line auto complete

  Language:TypeScript8.3k181

• b-mehta/exponential-ramsey

  Language:Lean11

• mpedramfar/Lean-game-maker

  This project converts structured Lean code into an interactive browser game.

  Language:TypeScript7316

• karpathy/nanoGPT

  The simplest, fastest repository for training/finetuning medium-sized GPTs.

  Language:Python35.9k5.6k

• sebosp/s2protocol-rs

  Starcraft 2 Protocol Replay Reader

  Language:Rust1022

• joelparkerhenderson/queueing-theory

  Queueing theory: an introduction for software development

  2.1k70

• CatalaLang/catala

  Programming language for literate programming law specification

  Language:OCaml2k80

• Textualize/rich

  Rich is a Python library for rich text and beautiful formatting in the terminal.

  Language:Python48.7k1.7k

• 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.

  Language:HTML36.2k1.1k

• hackclub/putting-the-you-in-cpu

  A technical explainer by @kognise of how your computer runs programs, from start to finish.

  Language:MDX4.9k152

• fastai/numerical-linear-algebra

  Free online textbook of Jupyter notebooks for fast.ai Computational Linear Algebra course

  Language:Jupyter Notebook10.2k2.6k

• goldbergyoni/nodebestpractices

  :white_check_mark: The Node.js best practices list (July 2024)

  Language:Dockerfile99k10k

• evanmiller/LLM-Reading-List

  LLM papers I'm reading, mostly on inference and model compression

  68430

• gto76/python-cheatsheet

  Comprehensive Python Cheatsheet

  Language:Python36k6.4k

• rixx/git-backdate

  Backdate a commit or range of commit to a date or range of dates.

  Language:Python29910

• eprover/PyRes

  Pedagogical first-order prover in Python

  Language:Python7016

• petykowski/London-Underground-Dot-Matrix-Typeface

  A set of dot matrix fonts in the style of TfL's Underground arrivals board.

  1.5k19