Skip to content
View iuy1's full-sized avatar
🍕
🍕
44 followers · 520 following

Highlights

  • Pro

Block or report iuy1

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 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
@AlexKontorovich
Alex Kontorovich AlexKontorovich
Mathematics Professor
@hhu-adam
HHU Adam Project hhu-adam
ADAM is a project group at Heinrich-Heine-University Düsseldorf focusing on learning resources around the proof assistant Lean.

Germany

@dwrensha
David Renshaw dwrensha

@icarm Pittsburgh, PA

@community
GitHub Community community
Ask questions, get answers, share expertise.
@oven-sh
Bun oven-sh
The company behind Bun, the incredibly fast JavaScript runtime, bundler, transpiler and package manager.

United States of America

@mlc-ai
mlc-ai
@quangvdao
Quang Dao quangvdao
Formal verification for cryptography. PhD Student at Carnegie Mellon University

Pittsburgh, PA

@github-education-experiences
GitHub Education github-education-experiences
Learn and teach with GitHub
@jks-liu
Jks Liu jks-liu

China

@yuzheng14
郁蒸十四 yuzheng14
thread 'main' panicked at src/main.rs:5:14: called `Option::unwrap()` on a `None` value
@Verified-zkEVM
Verified zk(E)VM Verified-zkEVM
Github organization for the verified zk(E)VM formal verification project
@v2fly
V2Fly v2fly
V2Fly, a community-driven edition of V2Ray.

Mars

@lowlighter
Simon Lecoq lowlighter
Ẃ͉̘͢e̯̟i̛̭ṛ̷̘̯́͡d͔̻̪̪̬̘̫̪͞͝ ̷͕̩̪͇̯̫o͇̮͍r͎͉͚̤̭̥̠̣ ̰̣͍͉͝w̭̺̱̱̹͉̝̕ͅi̴̯̯̮̱͡ͅŕ̘͖̗͉̙͜ȩ̭͓͍̬̦̟̭̮d̴̙̠̥̦̭̺͎̼ ̩͔̰͇͔̳̯́͘͜?̩̬͉͚́͘ ͏͚̼              

⠨⠵⠨⠁ ⠨⠺⠨⠁⠨⠗⠨⠥⠨⠙⠨⠕ 🇫🇷 / 🇨🇦 (QC)

@Twoliges
Riki Twoliges
ICPC Gold Medalist & Femboy Lover

Nanjing Uninversity of Information Science & Technology Yangtze Delta

@leanprover
Lean leanprover
Lean Prover
@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@seL4
seL4 microkernel and related repositories seL4
Provided by the seL4 Foundation

Australia

@ferrocene
Ferrocene ferrocene
An open source qualified Rust compiler for functional safety
@ml-explore
ml-explore ml-explore
Machine learning research on your laptop or in a data center - by Apple
@cp-algorithms
cp-algorithms
cp-algorithms (formerly known as e-maxx-eng)
@NVlabs
NVIDIA Research Projects NVlabs
@trustwallet
Trust Wallet trustwallet
True crypto ownership. Powerful Web3 experiences
@attaswift
attaswift
A collection of useful Swift packages
@dfinity
DFINITY dfinity
The Internet Computer aims to reinvent the internet as a computer to host secure software and a new breed of open internet services.

Switzerland

@foundry-rs
Foundry foundry-rs
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
@JuniperPhoton
JuniperPhoton JuniperPhoton
An indie developer for Apple platform & photographer. Working on my Pro Camera and Photo Editor for iPhone & iPad: PhotonCam.
@geometryxyz
Geometry geometryxyz
@hashcat
hashcat
@bazelbuild
Bazel bazelbuild
Bazel organization
@mxcl
Max Howell mxcl
Creator @Homebrew.

Apex, NC, USA

@rust-unofficial
rust-unofficial
Catch-all organization for unofficial Rust projects which have become orphaned or otherwise need community maintainership
@rexim
Alexey Kutepov rexim
Recreational Programming

@tsoding Novosibirsk

@axios
axios axios
@bootstrap-vue
BootstrapVue bootstrap-vue
Bootstrap v4 components and grid system for Vue.js.

Global

@typeorm
TypeORM typeorm
Code with Confidence. Query with Power.
@lmstudio-ai
LM Studio lmstudio-ai
Discover, download, and run local LLMs
@chatboxai
Chatbox AI chatboxai
@nitrojs
Nitro nitrojs
Ship Full-Stack Servers and Vite Apps
@KeccakTeam
KeccakTeam
@babel
Babel babel
The community maintained compiler for next generation JavaScript, today.

Flavortown

@lodash
Lodash Utilities lodash
JavaScript utilities delivering consistency, modularity, performance, & extras.
@MariaDB
MariaDB MariaDB
The open source relational database
@webpack
webpack webpack
@vueuse
VueUse vueuse
Collection of Vue Composition Utilities
@EverestAPI
Everest EverestAPI
Celeste Mod Loader / Mod API

Celeste Mountain

@cilium
Cilium cilium
eBPF-based Networking, Security, and Observability
@alpinejs
Alpine.js alpinejs
A rugged, minimal framework for composing JavaScript behavior in your markup.
@jquery
jQuery jquery
@unocss
UnoCSS unocss
The instant on-demand atomic CSS engine.
@primefaces
PrimeTek primefaces

Turkey