annedranowski's Stars
fontsource/fontsource
Self-host Open Source fonts in neatly bundled NPM packages.
WolframResearch/Arrival-Movie-Live-Coding
Documents from a live coding session by Christopher Wolfram related to content from the 2016 film Arrival
cmawer/vishelper
cmawer/reproducible-model
danielwalet/ds-cheatsheets
List of Data Science Cheatsheets to rule the world
sagemath/sage-binder-env
A Binder repo for SageMath computing environment
fuscadan/sampling
Gradient-free sampling techniques
fuscadan/NBA-headlines
Exercise in web scraping and basic machine learning with a project to generate headlines for NBA playoff games
deshaw/pyflyby
A set of productivity tools for Python
ollama/ollama
Get up and running with Llama 3.1, Mistral, Gemma 2, and other large language models.
karpathy/micrograd
A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API
GeoCoq/GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
sucharit/KhovanovSteenrod
Compute Sq1 and Sq2 on Khovanov homology
kmill/knotfolio
A program for drawing knots and links, with support for importing images
PatrickMassot/leanblueprint
plasTeX plugin to build formalization blueprints.
fern-gossow/SpechtKL
MAGMA code for performing computations with the Kazhdan-Lusztig basis for the Specht module, including implementations of the cactus group action on semistandard tableaux.
Automattic/themes
Free WordPress themes made by Automattic for WordPress.org and WordPress.com.
iamtakashi/themes
Free WordPress themes made by Automattic for WordPress.org and WordPress.com.
kisonecat/tikzjax
TikZJax is TikZ running under WebAssembly in the browser
WordPress/WordPress
WordPress, Git-ified. This repository is just a mirror of the WordPress subversion repository. Please do not send pull requests. Submit pull requests to https://github.com/WordPress/wordpress-develop and patches to https://core.trac.wordpress.org/ instead.
ddvk/remarkable-stylus
hack to get the button of a lamy pen working
nov1n/RemarkablePocket
Synchronize Pocket articles with the Remarkable tablet.
dracula/dracula-theme
🧛🏻♂️ One theme. All platforms.
doug2k1/nanogen
Minimalist static site generator in Node.js
staystatic/staystatic
Stay Static - Website Compiler Showcase - One Design, Many Samples - Jekyll • Middleman • Nanoc • Webgen • Metalsmith • Gatsby • Phenomic • Cuttlebelle • Harp • Nikola • Hugo • Jigsaw - Add Your Sample!
daly/axiom
Axiom is a free, open source computer algebra system
nostalgic-css/NES.css
NES-style CSS Framework | ファミコン風CSSフレームワーク
newren/git-filter-repo
Quickly rewrite git repository history (filter-branch replacement)
rstudio/rmarkdown
Dynamic Documents for R