Skip to content
View topdeoo's full-sized avatar
🏳️
🏳️
12 followers · 20 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2

Block or report topdeoo

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
topdeoo/README.md

Hi there, I'm Virgil, a code rookie👋

  • 🧐 Interested in computer system(os basicly), SAT and combination optimization problem.
  • 🎓 Pursuing master degree in Computer Science at Northeast Normal University, seeking for a Ph.D project in SAT/Constraints Solving.
  • 🌱 Currently learning SAT(TAOCP 4B, Handbook of Satisfiability), TCS(Algorithm Complexity), Constraint Satisfaction Problems.
  • ✍🏻 Personal blog: virgil's blogs
  • 📫 How to reach me: [email protected]

Pinned Loading

  1. NENU-Thesis-Typst NENU-Thesis-Typst Public

    NENU-Thesis Template Wrote by Typst

    Typst 2 1

  2. CodePrint CodePrint Public

    A simple and ungly(?) code print service for XCPC

    Go

  3. MS-ILS-replicate MS-ILS-replicate Public

    MS-ILS algorithm replicate (with low efficiency)

    C

  4. topdeoo.github.io topdeoo.github.io Public

    Virgil's personal blog

    SCSS 2