Highlights
- Pro
-
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
SMT Other UpdatedApr 30, 2025 -
xjtutennis Public
Open-source web platform for XJTU tennis community and all courts auto booking agent
-
-
-
-
-
main-page Public
Lightweight blog server / client with Flask & WASM
-
-
-
-
libfa Public
A fork of Augeas libfa with more customization
-
endros Public
Minimal OS with Linux API/ABI compatibility for RISC-V
-
-
markdone Public
Ready-to-use markdown editor without cloud
-
COMP461905 Public
Forked from Qcloud1223/COMP461905Course project for Operating Systems at XJTU: A basic x86-64 dynamic linker.
-
blockchain Public
Minimal blockchain in OpenSSL, C & Python
-
-
pulldown-cmark Public
Forked from pulldown-cmark/pulldown-cmarkAn efficient, reliable parser for CommonMark, a standard dialect of Markdown
-
-
-
-
-
BEADS Public
Forked from samueljero/BEADSA framework for automated vulnerability discovery in SDNs
C Other UpdatedMay 3, 2023 -
-
webvirtcloud Public
Forked from retspen/webvirtcloudWebVirtCloud is virtualization web interface for admins and users
JavaScript UpdatedMar 16, 2023 -
-
-
sws3026 Public
Forked from LinPoly/sws3026visual computing @NUS_Summer_Workshop
Jupyter Notebook UpdatedJul 25, 2022 -
bottom-up-grammar-analysis Public
Parser for LR(0), SLR(1), LR(1), LALR grammars
-