A theme for Slidev, inspired by the Frankfurt theme in Beamer.
☆64Sep 16, 2025Updated 7 months ago
Alternatives and similar repositories for slidev-theme-frankfurt
Users that are interested in slidev-theme-frankfurt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is a command line interface for the Rec Cloud Service (rec.ustc.edu.cn)☆15Oct 24, 2025Updated 5 months ago
- JoinAI是一个开源仓库，专注于算法工程能力的培养，包括工程和数学原理的整理☆11Apr 20, 2025Updated 11 months ago
- A RV32I pipeline CPU and applications transplanted from AM, NJU-Project-N☆13Feb 25, 2022Updated 4 years ago
- ☆23Mar 20, 2026Updated 3 weeks ago
- Lock-free buddy allocator based on binary heap☆13Mar 3, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。☆18Mar 19, 2026Updated last month
- A python tool help to interact with chatgpt.☆10Dec 11, 2022Updated 3 years ago
- AAAI2025☆12Apr 18, 2025Updated last year
- [ICLR 2025] "GraphRouter: A Graph-based Router for LLM Selections", Tao Feng, Yanzhen Shen, Jiaxuan You☆66Dec 30, 2025Updated 3 months ago
- This is the official repository for the ICLR 2025 Conference Paper - Fast and Slow Streams for Online Time Series Forecasting without Inf…☆16Apr 30, 2025Updated 11 months ago
- 南京大学编译原理实验 测试脚本 Test Scripts for Lab of NJU Compiler Course☆68Apr 4, 2026Updated 2 weeks ago
- 在 Telegram 上快速模仿迟先生卖弱。☆16Updated this week
- The github repository of ChatLM.☆10Mar 16, 2024Updated 2 years ago
- A toolset for computation and comparison of Chinese dialects☆46Feb 15, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆30Mar 13, 2024Updated 2 years ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆19Updated this week
- The index for acmer group. Licensed under CC BY-NC-SA 4.0☆91Updated this week
- A document about installing Domjudge 7.3.2 - 8.3.1 when holding a ICPC contest.☆10May 24, 2025Updated 10 months ago
- Rutracker官方插件汉化版☆15May 27, 2023Updated 2 years ago
- A RISC-V virtual processor, written in Rust.☆19Apr 3, 2024Updated 2 years ago
- EIQP: Execution-time-certified and Infeasibility-detecting QP Solver☆15Sep 23, 2025Updated 6 months ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Dec 5, 2022Updated 3 years ago
- ☆13Dec 21, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Formal verification tools for Chisel and RISC-V☆14Mar 29, 2026Updated 3 weeks ago
- ☆36Feb 8, 2026Updated 2 months ago
- A numpy like array programming language optimized with BuildIt☆14Oct 17, 2025Updated 6 months ago
- An open-source Simulation Trace Format specification☆16Nov 12, 2025Updated 5 months ago
- JudgeServer for NOJ, inspired by QDUOJ.☆14Nov 4, 2022Updated 3 years ago
- The repository for USTC DS4001.01.2025SP, belonging to TAs☆36Jun 7, 2025Updated 10 months ago
- Seccomp high-level wrapper☆16Jan 7, 2022Updated 4 years ago
- 上海交通大学学位论文 Typst 模板 (SJTU Thesis Typst Template)☆75Mar 25, 2026Updated 3 weeks ago
- Unified modular arceos-hypervisor☆40Apr 8, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A rewrite version of segment-sandbox in Rust☆11Apr 1, 2021Updated 5 years ago
- 基于 Touying 的上海交通大学 Typst 幻灯片模板 (Typst Slide Theme for SJTU Based on Touying)☆19Jan 27, 2026Updated 2 months ago
- C++ grammar for the Lezer parser system☆23Updated this week
- Frenet Corridor Planner: high-efficient and noise-resilient optimal path planner.☆14Sep 2, 2025Updated 7 months ago
- ☆23Updated this week
- An interpretable network to compute the Shapley values in a single forward propagation.☆16May 24, 2023Updated 2 years ago
- A beginner's tutorial of reinforcement learning in both Chinese and English. 一份面向初学者的强化学习教程（中英双语）☆11Aug 17, 2023Updated 2 years ago