ShengjieJin / clash-for-linux-without-sudoView external linksLinks
在没有sudo权限的情况下，在linux上使用clash
☆173Nov 14, 2024Updated last year
Alternatives and similar repositories for clash-for-linux-without-sudo
Users that are interested in clash-for-linux-without-sudo are comparing it to the libraries listed below
Sorting:
- Anatomy of a powerhouse: SystemVerilog TPU based on Google TPU v1☆20Nov 9, 2025Updated 3 months ago
- Collection of papers about video-audio understanding☆22Dec 26, 2025Updated last month
- Enhance CHISEL for Smooth and Comfortable Chip Design☆19Feb 1, 2026Updated last week
- Official PyTorch code for ICLR 2025 paper "Gnothi Seauton: Empowering Faithful Self-Interpretability in Black-Box Models"☆24Mar 4, 2025Updated 11 months ago
- [ICLR 2025] Code&Data for the paper "Super(ficial)-alignment: Strong Models May Deceive Weak Models in Weak-to-Strong Generalization"☆14Jun 21, 2024Updated last year
- KLEEF Symbolic Execution Engine☆22Aug 4, 2025Updated 6 months ago
- (ICLR 2026 🔥) Code for "The Devil behind the mask: An emergent safety vulnerability of Diffusion LLMs"☆73Feb 1, 2026Updated last week
- ☆21Nov 5, 2024Updated last year
- [ICME 2024 Oral] DARA: Domain- and Relation-aware Adapters Make Parameter-efficient Tuning for Visual Grounding☆23Feb 26, 2025Updated 11 months ago
- [NeurIPS'25] Official Implementation of RISE (Reinforcing Reasoning with Self-Verification)☆31Aug 8, 2025Updated 6 months ago
- MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning Mingju Liu, Daniel Robinson, Yingjie Li, Cunx…☆22Apr 9, 2025Updated 10 months ago
- MR. Video: MapReduce is the Principle for Long Video Understanding☆29Apr 23, 2025Updated 9 months ago
- The official implementation for "Towards Physically Realizable Adversarial Attacks in Embodied Vision Navigation(IROS 2025)"☆26Jun 16, 2025Updated 7 months ago
- [CVPR25 Highlight] A ChatGPT-Prompted Visual hallucination Evaluation Dataset, featuring over 100,000 data samples and four advanced eval…☆31Apr 16, 2025Updated 9 months ago
- ☆29May 24, 2024Updated last year
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆32Nov 13, 2023Updated 2 years ago
- ☆38Jan 22, 2026Updated 3 weeks ago
- A design automation framework to engineer decision diagrams yourself☆25Updated this week
- [ASE2024] Mutual Learning-Based Framework for Enhancing Robustness of Code Models via Adversarial Training☆11Sep 13, 2024Updated last year
- (ToCa-v2) A New version of ToCa，with faster speed and better acceleration!☆40Mar 13, 2025Updated 11 months ago
- A Python library for working with logic networks, synthesis, and optimization.☆73Updated this week
- Anya mousecape;阿尼亚mousecape;Klee可莉mousecape;Kal'tsit凯尔希mousecape...☆11Oct 27, 2022Updated 3 years ago
- 不定期更新爬取各国网站的爬虫源码☆10Aug 15, 2018Updated 7 years ago
- Sources of the EuroProofNet web site.☆13Feb 2, 2026Updated last week
- On the Robustness of GUI Grounding Models Against Image Attacks☆12Apr 8, 2025Updated 10 months ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 5 years ago
- ☆10Feb 9, 2024Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 3 months ago
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- ☆13Jul 3, 2024Updated last year
- [ACM MM2025]: Unleashing the Power of Data Generation in One-Pass Outdoor LiDAR Localization☆18Oct 29, 2025Updated 3 months ago
- ☆11May 16, 2025Updated 8 months ago
- [CVPR 2025] VASparse: Towards Efficient Visual Hallucination Mitigation via Visual-Aware Token Sparsification☆48Mar 24, 2025Updated 10 months ago
- Official Repo of SimTeG☆43Mar 29, 2024Updated last year
- ☆57Nov 29, 2025Updated 2 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago