8000 BoxiS0 / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View BoxiS0's full-sized avatar

Block or report BoxiS0

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

The math library of Lean 4

Lean 2,078 523 Updated Jun 18, 2025

Scientific computing in Lean 4

Lean 409 33 Updated Jun 9, 2025

A Lean companion to Analysis I

Lean 721 77 Updated Jun 18, 2025

One of the largest crowd-sourced, manufacturer-independent databases of infrared remote control codes on the web, and aspiring to become the most comprehensive and most accurate one

Python 1,025 165 Updated May 29, 2025

Model Context Protocol Servers

JavaScript 54,494 6,232 Updated Jun 17, 2025

All the handwritten notes 📝 and source code files 🖥️ used in my YouTube Videos on Machine Learning & Simulation (https://www.youtube.com/channel/UCh0P7KwJhuQ4vrzc3IRuw4Q)

Jupyter Notebook 1,009 205 Updated Jun 8, 2025
Python 11,884 1,073 Updated Jun 13, 2025

The fastest and most memory efficient lattice Boltzmann CFD software, running on all GPUs and CPUs via OpenCL. Free for non-commercial use.

C++ 4,464 389 Updated Jun 17, 2025

Paper2Code: Automating Code Generation from Scientific Papers in Machine Learning

Python 2,698 395 Updated May 16, 2025

SAM with text prompt

Python 2,237 258 Updated May 10, 2025

The repository provides code for running inference with the SegmentAnything Model (SAM), links for downloading the trained model checkpoints, and example notebooks that show how to use the model.

Jupyter Notebook 50,511 5,936 Updated Sep 18, 2024

A Library for Advanced Neural PDE Solvers.

Python 147 13 Updated Jun 5, 2025

A Library for Advanced Deep Time Series Models.

Python 9,203 1,477 Updated Jun 6, 2025

Graph Neural Network Library for PyTorch

Python 22,486 3,832 Updated Jun 16, 2025

The all-in-one Desktop & Docker AI application with built-in RAG, AI agents, No-code agent builder, MCP compatibility, and more.

JavaScript 45,452 4,527 Updated Jun 16, 2025

Open3D: A Modern Library for 3D Data Processing

C++ 12,442 2,430 Updated Jun 18, 2025

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑‍🔬

Jupyter Notebook 11,144 1,626 Updated Apr 26, 2025

Let us control diffusion models!

Python 32,572 2,910 Updated Feb 25, 2024

a time-parallel solver for partial differential equations using the finite element method for spatial discretisation

C++ 7 6 Updated Sep 17, 2018

A lightweight implementation of the PFASST algorithm

Jupyter Notebook 12 10 Updated Sep 27, 2024

Making Protein Design accessible to all via Google Colab!

Python 744 176 Updated Jun 9, 2025

Colab Notebooks covering deep learning tools for biomolecular structure prediction and design

Jupyter Notebook 395 61 Updated Apr 3, 2025

pySDC is a Python implementation of the spectral deferred correction (SDC) approach and its flavors, esp. the multilevel extension MLSDC and PFASST.

Jupyter Notebook 38 36 Updated Jun 17, 2025

Agent Laboratory is an end-to-end autonomous research workflow meant to assist you as the human researcher toward implementing your research ideas

Python 4,540 655 Updated Mar 27, 2025

A simple screen parsing tool towards pure vision based GUI agent

Jupyter Notebook 22,464 1,884 Updated Mar 26, 2025

Official implementation of MatterGen -- a generative model for inorganic materials design across the periodic table that can be fine-tuned to steer the generation towards a wide range of property c…

Python 1,384 227 Updated Jun 13, 2025

ComfyUI-Manager is an extension designed to enhance the usability of ComfyUI. It offers management functions to install, remove, disable, and enable various custom nodes of ComfyUI. Furthermore, th…

Python 10,463 1,404 Updated Jun 18, 2025

Learning in infinite dimension with neural operators.

Python 2,717 682 Updated Jun 17, 2025

Integrate the DeepSeek API into popular softwares

32,892 3,632 Updated May 13, 2025
Next
0