Skip to content
View unsoundsystem's full-sized avatar
16 followers · 52 following

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report unsoundsystem

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
@shpark
shpark

Seoul

@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@13c5
LECS 13c5

Japan

@loonwerks
loonwerks
@runtimeverification
Runtime Verification Inc. runtimeverification

Champaign, IL

@TELOS-syslab
TELOS-syslab
@verse-lab
Verified Systems Engineering Lab verse-lab
Research Group at NUS School of Computing

Singapore

@Contingent-Systems
Contingent Systems Contingent-Systems
@Linyxus
Yichen Xu Linyxus
PhD student @ LAMP, EPFL

Wuxi, China

@FormalizedFormalLogic
Formalized Formal Logic FormalizedFormalLogic
Formalize Formal Logic in Lean4
@arkedge
ArkEdge Space Inc. arkedge

Japan

@garrigue
Jacques Garrigue garrigue

Nagoya University Japan

@kth-step
KTH STEP group kth-step
Secure and Trustworthy Execution Platforms @ KTH

KTH

@rinshankaihou
Ke Du rinshankaihou
@CCR-project
CCR-project
@Ivan-Velickovic
Ivan Velickovic Ivan-Velickovic
@sel4devkit
seL4 Developer Kit sel4devkit
@VeriGu
VeriGu Lab VeriGu
@r1ru
r1ru r1ru
@sheepla
sheepla sheepla
❯ 🐑 ♥ CLI _

Japan

@SnO2WMaN
SnO₂WMaN SnO2WMaN
お前の好きなものが分かってよかった

チルノのパーフェクトさんすう教室

@knurling-rs
Knurling knurling-rs
Get a handle on bare metal Rust
@seL4
seL4 microkernel and related repositories seL4
Provided by the seL4 Foundation
@coliasgroup
Colias Group coliasgroup
@openreview
OpenReview openreview
@AeneasVerif
AeneasVerif
@AmaneTsukishiro
AmaneTsukishiro

Internet

@kxcinc
Kotoi-Xie Consultancy, Inc. kxcinc

Japan

@GaloisInc
Galois, Inc. GaloisInc

Portland, OR

@CertiKOS
CertiKOS
@affeldt-aist
affeldt-aist
@lsf37
Gerwin Klein lsf37
Proves stuff. Chief Scientist and Co-Founder at Proofcraft

Proofcraft Sydney, Australia

@pandaman64
pandaman pandaman64

Japan

@Kuniwak
Yuki Kokubun Kuniwak
Formal Methods Learner (2019-), Software Engineer in Test, iOS/Web app developer, Git Challenge Problem Author (-2018)

Japan

@maekawatoshiki
uint256_t maekawatoshiki
C++, Rust, Graduate student

Japan

@conao3
Naoya Yamashita conao3
Emacs, Clojure

Tokyo, Japan

@jlapeyre
John Lapeyre jlapeyre

@IBM Quantum Central Michigan

@alastairreid
Alastair Reid alastairreid
Researcher working on formal specification and verification. (This is my personal account)

Intel Cambridge, United Kingdom

@antimon2
GOTOH Shunsuke antimon2
AI / Machine Learning Engineer at Nagoya, Japan

@kurusugawa-computer Nagoya, Japan

@2222-42
Stephen S.H. a.k.a. 大王 2222-42
InFormal Driven Developer

matsuri technologies Tokyo

@astellon
Keita Goto astellon

Tokyo

@MasonProtter
Mason Protter MasonProtter

Cologne, Germany

@Vicfred
Vicfred Vicfred
Whatever people say I am, that's what I'm not. 日本語も話せます。 1v1 me bro

@google Mountain View, California

@camexp
camexp
@terasakisatoshi
Satoshi Terasaki terasakisatoshi
JuliaLang package/code creator Miyagi, Sendai/Japan 　 MainLang: Julia/Python

JuliaLang user Miyagi/Japan

@Kazuhito00
KazuhitoTakahashi Kazuhito00

Aichi, Japan

@h3y6e
heyhoe h3y6e

Japan

@kshyatt
Katharine Hyatt kshyatt
@Hayao0819
Yamada Hayao Hayao0819
群馬大学情報学部の学部3年です。 OSやネットワーク、セキュリティ、フロントエンド、バックエンド、電子工作等を幅広く勉強中です。

Gunma University 群馬県

@tshort
Tom Short tshort

Electric Power Research Institute