Skip to content
View ireina7's full-sized avatar
🎃
On traveling
🎃
On traveling

Organizations

@seal-script

Block or report ireina7

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Starred repositories

Showing results

🦊 Soothing pastel icons for VSCode/VSCodium

TypeScript 975 87 Updated Apr 23, 2026

🎨🖌 Modern, bright color theme for VS Code

Jupyter Notebook 653 113 Updated Apr 9, 2026

An implementation of Joshua Yanovski's Ghost Cell paper.

Rust 503 17 Updated Jan 28, 2024

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Rust 2,829 203 Updated Apr 27, 2026

Beautiful diagnostic reporting for text-based programming languages.

Rust 1,288 69 Updated Feb 28, 2026

Automated property based testing for Rust (with shrinking).

Rust 2,750 162 Updated Apr 3, 2026

A Great Collection of Deep Learning (e)Books

186 36 Updated Nov 23, 2024

.pdf Format Books for Machine and Deep Learning

277 104 Updated Oct 2, 2018

A rust implementation of Andrej Karpathy's Micrograd

Rust 15 1 Updated Apr 28, 2025

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

Jupyter Notebook 15,663 2,398 Updated Aug 8, 2024

Visual Novel Site

SCSS 264 114 Updated Apr 5, 2026

Cross-platform, low level networking using the Rust programming language.

Rust 2,569 325 Updated Jan 23, 2025

Calendars for Rust project teams

Rust 26 25 Updated Apr 20, 2026

带中文导读的PhD申请攻略收集

87 2 Updated Jun 26, 2023

This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

HTML 441 27 Updated Apr 23, 2026

Resources for learning Category Theory for an enthusiast

670 38 Updated Apr 5, 2023

🤖 Just a command runner

Rust 33,201 768 Updated Apr 26, 2026

Markdown makes sites - A Static Site Generator for Blogs

Rust 842 51 Updated Apr 27, 2026

This package contains the original 2012 AlexNet code.

Cuda 2,868 374 Updated Mar 12, 2025

Flash浏览器 / Flash Browser

C# 4,950 231 Updated Apr 22, 2026

Algebraic effects in rust

Rust 4 Updated Apr 7, 2025

Machine Learning and Agentic AI Resources, Practice and Research

Python 4,736 1,701 Updated Apr 20, 2026

Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.

Rust 14,957 889 Updated Apr 27, 2026

Outliner-like breadcrumb trees for search, backlinks and embedded queries

TypeScript 352 18 Updated Dec 1, 2024

[TMLR] A curated list of language modeling researches for code (and other software engineering activities), plus related datasets.

3,315 230 Updated Apr 10, 2026

A continuously updated collection of papers on agentic SE maintained by PurCL group @ Purdue

HTML 625 43 Updated Apr 23, 2026

The agda-unimath library

Agda 300 101 Updated Apr 27, 2026

Rust port of Google's SwissTable hash map

Rust 2,911 345 Updated Apr 20, 2026

A small and fast async runtime for Rust

Rust 4,854 184 Updated Mar 23, 2026

Algebraic effects for Rust

Rust 661 21 Updated Jun 30, 2024
Next