bstellato

bstellato's Stars

• jesseduffield/lazydocker

  The lazier way to manage everything docker

  Language:Go43.2k2663461.4k

• google/comprehensive-rust

  This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

  Language:Rust29.7k1473221.8k

• meta-llama/llama3

  The official Meta Llama 3 GitHub site

  Language:Python28.6k2442883.3k

• nvim-lua/kickstart.nvim

  A launch point for your personal nvim configuration

  Language:Lua23.3k11955730.9k

• zulip/zulip

  Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

  Language:Python22.6k3779.6k8.4k

• ml-explore/mlx

  MLX: An array framework for Apple silicon

  Language:C++20k1656681.1k

• SnapDrop/snapdrop

  A Progressive Web App for local file sharing

  Language:JavaScript18.9k1865051.8k

• KindXiaoming/pykan

  Kolmogorov Arnold Networks

  Language:Jupyter Notebook15.5k1134401.5k

• google/gemma_pytorch

  The official PyTorch implementation of Google's Gemma models

  Language:Python5.4k3943533

• google-deepmind/gemma

  Gemma open-weight LLM library, from Google DeepMind

  Language:Jupyter Notebook3.1k3763410

• android-password-store/Android-Password-Store

  Android application compatible with ZX2C4's Pass command line application

  Language:Kotlin2.6k78900293

• P403n1x87/austin

  Python frame stack sampler for CPython

  Language:C2k195959

• PyPSA/PyPSA

  PyPSA: Python for Power System Analysis

  Language:Python1.4k71387499

• sanjib-sen/WebLaTex

  A complete alternative for Overleaf with VSCode + Web + Git Integration + Copilot + Grammar & Spell Checker + Live Collaboration Support. Based on GitHub Codespace and Dev container.

  Language:TeX1.2k913321

• browserpass/browserpass-extension

  Browserpass web extension

  Language:JavaScript8981520658

• aangelopoulos/conformal-prediction

  Lightweight, useful implementation of conformal prediction on real data.

  Language:Jupyter Notebook864121199

• st--/annotate-equations

  LaTeX package and annotated examples for annotating equations using TikZ.

  Language:TeX50962222

• Simple-Robotics/proxsuite

  The Advanced Proximal Optimization Toolbox

  Language:C++447168459

• patrick-kidger/lineax

  Linear solvers in JAX and Equinox. https://docs.kidger.site/lineax

  Language:Python427105724

• Paper-Proof/paperproof

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

  Language:TypeScript402103410

• deel-ai/puncc

  👋 Puncc is a python library for predictive uncertainty quantification using conformal prediction.

  Language:Python31642816

• jbms/sphinx-immaterial

  Adaptation of the popular mkdocs-material material design theme to the sphinx documentation system

  Language:Python219920033

• ImperialCollegeLondon/formalising-mathematics-2024

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

  Language:Lean2048053

• MadNLP/MadNLP.jl

  A solver for nonlinear programming with GPU support

  Language:Julia182119016

• alexanderdavide/slidev-theme-academic

  Academic presentations with Slidev made simple 🎓

  Language:Vue12021232

• TobiaMarcucci/gcspy

  Language:Jupyter Notebook50554

• verified-optimization/CvxLean

  Convex optimization modeling in Lean 4

  Language:Lean44394

• optsuite/optlib

  Language:Lean40305

• damek/gd-lean

  Language:Lean17100

• stellatogrp/algorithm_verification

  Language:Python30