A Thesis/Dissertation Template for University of Chinese Academy of Sciences in Typst
☆15Sep 29, 2026Updated last month
Alternatives and similar repositories for modern-ucas-thesis
Users that are interested in modern-ucas-thesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 基于typst的深圳大学学位论文模板☆13Aug 13, 2026Updated 2 months ago
- ☆12Jul 29, 2021Updated 5 years ago
- Typst模板☆10Dec 6, 2024Updated last year
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 3 years ago
- vscode-drawio增强版，提供代码跳转功能☆10Feb 20, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Safe high-level bindings for the Boolector SMT solver☆14Apr 5, 2022Updated 4 years ago
- Certify Model Checking Witnesses in AIGER☆14Updated this week
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- fenwick: rust implementation of Fenwick trees (aka. binary/bit indexed trees)☆10Sep 15, 2022Updated 4 years ago
- 华中科技大学计算机学院18级的部分课程实验☆14Jan 14, 2022Updated 4 years ago
- A template for homework in typst.☆12Nov 28, 2023Updated 2 years ago
- LaTeX and LyX templates for technical reports written in English and Chinese languages.☆15May 21, 2018Updated 8 years ago
- pwn log tools for AWD☆12May 29, 2018Updated 8 years ago
- CaDiCaL BackBone Analyzer☆12Oct 19, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Active Learning for GNN (ICLR'22)☆12Oct 6, 2021Updated 5 years ago
- 海南科技职业大学本科论文模板☆22May 9, 2025Updated last year
- GeneralVLA: Generalizable Vision-Language-Action Models with Knowledge-Guided Trajectory Planning☆12Jun 15, 2026Updated 4 months ago
- Fill in LyX, LaTeX, and Markdown tables using placeholder system☆13Jan 20, 2026Updated 9 months ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 9 years ago
- 安全工程师笔面试宝典。Security guys aren't cheap.☆10Jan 18, 2018Updated 8 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆16May 7, 2022Updated 4 years ago
- 向日葵RCE漏洞批量检测工具☆14Apr 8, 2022Updated 4 years ago
- A pretty resume template in Typst | 一个美观的typst简历模板☆17Feb 12, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- A model checker based on SAT solving and induction☆15Mar 27, 2015Updated 11 years ago
- This repository contains a python script to record UART data from TI IWR1843Boost (SDK3)☆11Jun 6, 2022Updated 4 years ago
- Forward modeling of gravity fields in spherical coordinates☆38May 24, 2017Updated 9 years ago
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 11 months ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated last year
- Source of my personal site.☆12Oct 24, 2026Updated 2 weeks ago
- Mathematica Game Package☆26Apr 17, 2022Updated 4 years ago
- ☆16Sep 14, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Async lcd/oled display driver for embedded systems.☆16Oct 3, 2026Updated last month
- 中国农业大学毕业论文的Typst模板☆19Apr 8, 2025Updated last year
- QMI8658 Sensors Driver written in Rust☆13Sep 10, 2024Updated 2 years ago
- Quality control for phylogenetic analyses☆13Updated this week
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 4 years ago
- Touying theme for Southeast University 东南大学幻灯片模板（typst）☆22Jun 4, 2024Updated 2 years ago
- Parse the `/proc/net/softnet_stat` file into something more readable.☆27Aug 6, 2023Updated 3 years ago