annedranowski

annedranowski's Stars

• fontsource/fontsource

  Self-host Open Source fonts in neatly bundled NPM packages.

  Language:TypeScript4.9k174

• WolframResearch/Arrival-Movie-Live-Coding

  Documents from a live coding session by Christopher Wolfram related to content from the 2016 film Arrival

  Language:Mathematica969133

• cmawer/vishelper

  Language:Python1

• cmawer/reproducible-model

  Language:Python8624

• danielwalet/ds-cheatsheets

  List of Data Science Cheatsheets to rule the world

  1

• sagemath/sage-binder-env

  A Binder repo for SageMath computing environment

  Language:Jupyter Notebook2725

• fuscadan/sampling

  Gradient-free sampling techniques

  Language:Python2

• fuscadan/NBA-headlines

  Exercise in web scraping and basic machine learning with a project to generate headlines for NBA playoff games

  Language:Python21

• deshaw/pyflyby

  A set of productivity tools for Python

  Language:Python34751

• ollama/ollama

  Get up and running with Llama 3.1, Mistral, Gemma 2, and other large language models.

  Language:Go88.1k6.9k

• karpathy/micrograd

  A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

  Language:Jupyter Notebook9.9k1.4k

• GeoCoq/GeoCoq

  A formalization of geometry in Coq based on Tarski's axiom system

  Language:Coq18026

• lean-dojo/LeanCopilot

  LLMs as Copilots for Theorem Proving in Lean

  Language:C++93579

• sucharit/KhovanovSteenrod

  Compute Sq1 and Sq2 on Khovanov homology

  Language:Python2

• kmill/knotfolio

  A program for drawing knots and links, with support for importing images

  Language:JavaScript241

• PatrickMassot/leanblueprint

  plasTeX plugin to build formalization blueprints.

  Language:Python15125

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

  1

• Automattic/themes

  Free WordPress themes made by Automattic for WordPress.org and WordPress.com.

  Language:CSS879352

• iamtakashi/themes

  Free WordPress themes made by Automattic for WordPress.org and WordPress.com.

  Language:CSS1

• kisonecat/tikzjax

  TikZJax is TikZ running under WebAssembly in the browser

  Language:JavaScript43937

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

  Language:PHP19.3k12.5k

• ddvk/remarkable-stylus

  hack to get the button of a lamy pen working

  Language:C++18310

• nov1n/RemarkablePocket

  Synchronize Pocket articles with the Remarkable tablet.

  Language:Java1316

• dracula/dracula-theme

  🧛🏻‍♂️ One theme. All platforms.

  22.5k2.3k

• doug2k1/nanogen

  Minimalist static site generator in Node.js

  Language:JavaScript20265

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

  Language:JavaScript5910

• daly/axiom

  Axiom is a free, open source computer algebra system

  Language:PostScript35954

• nostalgic-css/NES.css

  NES-style CSS Framework | ファミコン風CSSフレームワーク

  Language:SCSS20.6k1.6k

• newren/git-filter-repo

  Quickly rewrite git repository history (filter-branch replacement)

  Language:Python8.1k691

• rstudio/rmarkdown

  Dynamic Documents for R

  Language:R2.9k967