Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

sun-jacobi Follow

Overview Repositories 49 Projects 0 Packages 0 Stars 738

Overview
Repositories
Projects
Packages
Stars

sun-jacobi

🐈

Jia sun-jacobi

🐈

Bring Me the Horizon.

23 followers · 86 following

Kyoto University
Japan

Achievements

Highlights

Organizations

Block or report sun-jacobi

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.

Add an optional note:

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

Overview Repositories 49 Projects 0 Packages 0 Stars 738

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All Coq LLVM HTML Rust C Python Cuda Makefile Zig C++ Swift Assembly Ruby Go TypeScript Java JavaScript

Sort Last updated

Select order

Last updated Name Stars

iris-tutorial Public
Forked from logsem/iris-tutorial

My solutions to IRIS tutorial

Coq MIT License Updated Nov 23, 2024
llvm-project Public
Forked from llvm/llvm-project

LLVM 2 Other Updated Nov 10, 2024
notes Public

Personal Notes Collection

Updated Nov 6, 2024
sun-jacobi.github.io Public

HTML Updated Nov 1, 2024
minirust Public
Forked from minirust/minirust

A precise specification for "Rust lite / MIR plus"

Rust Apache License 2.0 Updated Oct 16, 2024
miri Public
Forked from rust-lang/miri

An interpreter for Rust's mid-level intermediate representation

Rust Apache License 2.0 Updated Oct 2, 2024
_sun-jacobi Public

Config files for my GitHub profile.

config github-config

Updated Sep 25, 2024
linux Public
Forked from Rust-for-Linux/linux

Adding support for the Rust language to the Linux kernel.

C Other Updated Aug 5, 2024
rust Public
Forked from rust-lang/rust

Empowering everyone to build reliable and efficient software.

Rust Other Updated Aug 4, 2024
specr Public
Forked from minirust/specr

Rust Updated Jul 30, 2024
InfoBatch Public
Forked from NUS-HPC-AI-Lab/InfoBatch

Python Updated Jul 21, 2024
cuda_sample Public

Learning CUDA programming By example [WIP]

cuda

Cuda Updated Apr 17, 2024
llvm-script Public

My helper script for developing LLVM

Makefile 1 Updated Apr 14, 2024
risingwave Public
Forked from risingwavelabs/risingwave

Rust Apache License 2.0 Updated Jan 15, 2024
rxv6 Public

xv6-like OS in Rust on RISC-V [WIP]

rust os risc-v

Rust Updated Oct 15, 2023
sf Public

HTML Updated Oct 15, 2023
buddy Public

buddy allocator in bare metal rust

Rust 2 Updated Sep 10, 2023
barell Public

linked list in bare metal rust

Rust Updated Sep 9, 2023
zfk Public

brainf**k interpreter in Zig

Zig 1 Updated Aug 7, 2023
taichi Public
Forked from taichi-dev/taichi

Productive & portable high-performance programming in Python.

C++ Apache License 2.0 Updated Jul 12, 2023
zlink Public

linker in Zig

Zig Updated Jun 12, 2023
tcr Public

Toy C compiler in Rust

Rust Updated Jun 8, 2023
acpi Public
Forked from rust-osdev/acpi

Rust library for parsing ACPI tables and AML

Rust 1 1 Apache License 2.0 Updated May 17, 2023
pcie-rs Public

A trivial pcie driver in Rust

Updated May 11, 2023
kaleido Public

C++ Updated Jan 29, 2023
clox Public

C++ Updated Nov 27, 2022
automaton_min Public

Swift Updated Nov 23, 2022
stupiDB Public

Rust Updated Nov 9, 2022
spa-rs Public

static program analysis in rust

Updated Oct 27, 2022
roados Public

a try to implement xv6 in Rust

Assembly Updated Oct 17, 2022

Previous Next

Footer

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.

Jia sun-jacobi

Achievements

Achievements

Highlights

Organizations

iris-tutorial Public

llvm-project Public

notes Public

sun-jacobi.github.io Public

minirust Public

miri Public

_sun-jacobi Public

linux Public

rust Public

specr Public

InfoBatch Public

cuda_sample Public

llvm-script Public

risingwave Public

rxv6 Public

sf Public

buddy Public

barell Public

zfk Public

taichi Public

zlink Public

tcr Public

acpi Public

pcie-rs Public

kaleido Public

clox Public

automaton_min Public

stupiDB Public

spa-rs Public

roados Public