8000 OswaldXia (Oswald) / Following Β· GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View OswaldXia's full-sized avatar
6 followers · 65 following

Block or report OswaldXia

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
@lean-dojo
LeanDojo lean-dojo
Machine Learning for Theorem Proving in Lean

United States of America

@ros2
ROS 2 ros2
Version 2 of the Robot Operating System (ROS) software stack
@OpenAgentPlatform
OpenAgentPlatform

Taiwan

@krahets
Yudong Jin krahets
3D Vision Researcher. Interested in DSA.

Zhejiang University

@miloyip
Milo Yip miloyip

Tencent Hong Kong, China

@samirsaci
Samir Saci samirsaci
Senior Supply Chain Engineer, Blogger who shares tips to use Data Science for WarehousingπŸ“¦, Transportation 🚚 and Demand Forecasting πŸ“ˆ

Paris

@OlingCat
Oling Cat OlingCat
Just a little cat.

Hakurei Shrine Gensokyo

@soumyasen1809
Soumya Sen soumyasen1809
@barbagroup
Barba group barbagroup

Washington, DC

@hzxwonder
hzxwonder

Shanghai

@79134054
79134054
@lewiszlw
εΌ ζž—δΌŸ lewiszlw
Database engineer | Apache DataFusion committer | Hobbyist game dev | Creator of @systemxlabs and @NightsWatchGames

@apache Wuhan

@NightsWatchGames
Night's Watch Games NightsWatchGames
Build open source games for fun.

Earth

@IppClub
I++ Club IppClub
Geek Utopia!

Nanjing, China

@ljb1672
ljb1672

China

@tum-pbs
TUM Physics-b 8000 ased Simulation tum-pbs

Munich!

@lightjiao
Light lightjiao
Game developer.

Garena Shanghai, China

@agda
Agda Github Community agda
@migueldeicaza
Miguel de Icaza migueldeicaza

Xibbon Boston, MA.

@google
Google google
Google ❀️ Open Source

United States of America

@apple
Apple apple

Cupertino, CA

@AlmasB
Almas Baim AlmasB
Principal Lecturer, Computing and Robotics Lead at the University of Brighton. A passionate software and game developer. PhD in Computer Science.

University of Brighton UK

@kenjihiranabe
Kenji Hiranabe kenjihiranabe
C++, Java programmer, Agile practitioner CTO and Co-Founder at Change Vision, Inc ; CEO at ESM, Inc.

Change Vision, Inc. Fukui

@RachelCmy
Mengyu (Rachel) Chu RachelCmy
@jason-huang03
Jason Huang jason-huang03
I am an undergraduate student from IIIS (Yao Class), Tsinghua University. I am currently interested in generative models and machine learning system.

Tsinghua University Beijing, China

@SebLague
Sebastian Lague SebLague

Denmark

@awodey
Steve Awodey awodey

CMU Pittsburgh PA

@madagra
8000 Mario Dagrada madagra
Scientific Software Engineer and Manager

Eindhoven, The Netherlands

@niltok
玩火 niltok
βŠ₯-elim πŸ”₯

@Meituan

@thu-ml
TSAIL group thu-ml
Tsinghua Statistical Artificial Intelligence & Learning Group

FIT Building, Tsinghua University, Beijing, China

@flypitch
flypitch
Formal proof of the independence of CH. This account is maintained by @jesse-michael-han.

University of Pittsburgh Pittsburgh

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@llvm
LLVM llvm
This is the LLVM organization on GitHub for the LLVM Project: a collection of modular and reusable compiler and toolchain technologies.
@kokic
kokic kokic
π–ˆπ–†π–“π–™π–† π–•π–Šπ–— π–’π–Š π–†π–‰π–‰π–Žπ–”

@San-Angeles @the-red-pixel Beijing, China

@Agda-zh
Agda δΈ­ζ–‡ζ–‡ζ‘£ Agda-zh
Agda δΈ­ζ–‡ζ–‡ζ‘£ηΏ»θ―‘
@Trebor-Huang
Trebor Huang Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Internal cat of a doughnut

@choukh
Chou Kyuhei choukh
Interactive theorem proving Programming maths

Tokyo

@andrew-bacon
andrew-bacon
@Infinity-Type-Cafe
Infinity-Type-Cafe
@deepfindr
deepfindr
Different projects for my YouTube channel. :)

Germany

@isocpp
Standard C++ Foundation isocpp

United States of America

@YdrMaster
Derui Yang YdrMaster

QiYuanLab Beijing

@Jebroll
Jebroll
@conda-forge
conda-forge conda-forge
A community led collection of recipes, build infrastructure and distributions for the conda package manager.
@rcore-os
rCore OS rcore-os
Combining Various Operating Systems Using Kernel Tangram Components

Beijing, China

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@ksg0605
sungyu Kim ksg0605
iOS Developer, Swift, UIKit, SwiftUI, Middle School CS Teacher

Guri Middle School Guri

@TheAlgorithms
The Algorithms TheAlgorithms
Open Source resource for learning Data Structures & Algorithms and their implementation in any Programming Language

India

@google-research
Google Research google-research

Earth

@Whu-Lambda
Whu Lambda Whu-Lambda
We live in a lambda cube!
0