Skip to content
View tomtomjhj's full-sized avatar
▪️
.__________.
▪️
.__________.

Sponsoring

@neovim

Highlights

  • Pro

Organizations

@sparcs-kaist @kaist-cp

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 Loading

  1. kaist-cp/circ kaist-cp/circ Public

    CIRC: Concurrent Immediate Reference Counting

    Rust 45 3

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

    HP++: A Hazard Pointers Extension for Better Applicability

    Rust 4 1

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

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

    Coq 3

  4. vscoq.nvim vscoq.nvim Public

    A Neovim client for VsCoq 2 vscoqtop.

    Lua 7

  5. coq.ctags coq.ctags Public

    Universal Ctags optlib parser for Coq

    Coq 4 2

  6. coq-lsp.nvim coq-lsp.nvim Public

    Neovim client for coq-lsp

    Lua 22