mlyean

mlyean's Stars

• practical-tutorials/project-based-learning

  Curated list of project-based tutorials

  212k3.2k18727.6k

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust100k1.5k56k13k

• suno-ai/bark

  🔊 Text-Prompted Generative Audio Model

  Language:Jupyter Notebook36.6k3324484.3k

• fastai/fastai

  The fastai deep learning library

  Language:Jupyter Notebook26.5k6031.8k7.6k

• fastai/fastbook

  The fastai book, published as Jupyter Notebooks

  Language:Jupyter Notebook22.3k5102398.6k

• KaTeX/KaTeX

  Fast math typesetting for the web.

  Language:JavaScript18.6k2841.6k1.2k

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust17.9k102264439

• polybar/polybar

  A fast and easy-to-use status bar

  Language:C++14.3k1292k709

• cp-algorithms/cp-algorithms

  Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)

  Language:C++8.1k1053571.7k

• tridactyl/tridactyl

  A Vim-like interface for Firefox, inspired by Vimperator/Pentadactyl.

  Language:TypeScript5.4k612.2k409

• fonsp/Pluto.jl

  🎈 Simple reactive notebooks for Julia

  Language:Julia5k371.7k292

• rust-lang/rust.vim

  Vim configuration for Rust.

  Language:Vim Script3.9k44284298

• polybar/polybar-scripts

  This is a community project. We write and collect scripts for polybar!

  Language:Shell2.5k28111338

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.2k1161.1k217

• ueokande/vim-vixen

  Accelerates your web browsing with Vim power!!

  Language:TypeScript2.1k41560137

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k121634360

• Jelmerro/Vieb

  Vim Inspired Electron Browser - Vim bindings for the web by design

  Language:JavaScript1.3k2637466

• gap-system/gap

  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

  Language:GAP831381.8k162

• HOL-Theorem-Prover/HOL

  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

  Language:Standard ML63849664144

• euclio/vim-markdown-composer

  An asynchronous markdown preview plugin for Vim and Neovim.

  Language:Rust625148626

• agda/agda-stdlib

  The Agda standard library

  Language:Agda595291k240

• leanprover-community/lean

  Lean 3 Theorem Prover (community fork)

  Language:C++4332820580

• whonore/Coqtail

  Interactive Coq Proofs in Vim

  Language:Python278717434

• Singular/Singular

  sources for the Singular computer algebra system

  Language:C++26627212120

• xmonad/xmonad-testing

  Stack/cabal setup for testing xmonad* and configurations

  Language:Shell279521

• NomiL/sga4.5

  Pierre Deligne's SGA 4 1/2

  Language:TeX811

• mlyean/MATH40002-lean

  Analysis I in Lean

  Language:Lean4200

• mlyean/agda-extras

  Extra stuff (mostly math) for Agda.

  Language:Agda1210

• mlyean/game-of-life-hs

  Conway's Game of Life in Haskell, animated using Gloss

  Language:Haskell1200

• mlyean/wordle-solver

  Solve Wordle under 5 guesses

  Language:C++1100