Skip to content
View tomtomjhj's full-sized avatar
▪️
.__________.
▪️
.__________.
35 followers · 58 following

Sponsoring

@neovim

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: StarstruckAchievement: Public SponsorAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: StarstruckAchievement: Public SponsorAchievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro

Organizations

@sparcs-kaist @kaist-cp
Block or Report

Block or report tomtomjhj

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

Pinned

  1. kaist-cp/hp-plus kaist-cp/hp-plus Public

    HP++: A Hazard Pointers Extension for Better Applicability

    Rust 4 1

  2. kaist-cp/smr-verification kaist-cp/smr-verification Public

    Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic (OOPSLA 2023)

    Coq 2

  3. kaist-cp/cs431 kaist-cp/cs431 Public

    Rust 1.3k 133

  4. coq-lsp.nvim coq-lsp.nvim Public

    Neovim client for coq-lsp

    Lua 18

  5. coq.ctags coq.ctags Public

    Universal Ctags optlib parser for Coq

    Coq 4 2

  6. vscoq.nvim vscoq.nvim Public

    A Neovim client for VsCoq 2 vscoqtop.

    Lua 4