☆45Sep 4, 2026Updated 2 weeks ago
Alternatives and similar repositories for typst-rewind-note
Users that are interested in typst-rewind-note 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 模板☆39Jun 17, 2025Updated last year
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆12Apr 3, 2026Updated 5 months ago
- Semantic Type Soundness in Lean 4☆19Updated this week
- ☆16Jun 26, 2019Updated 7 years ago
- OpenShare 是一个面向中小型组织的「内网资料分享」平台，具备完整的资料共建、资料治理和资料分发能力，适用于校园课程资料、实验室文档、社团资源、组内文件等场景。☆38Apr 7, 2026Updated 5 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.
- A online playground to explore with type Inference algorithms.☆18Jan 28, 2026Updated 7 months ago
- 撰写和管理文学作品草稿☆14Jul 8, 2026Updated 2 months ago
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆22Sep 20, 2025Updated last year
- Tarjan's zip trees implemented in Rust☆12May 13, 2024Updated 2 years ago
- 北京理工大学计算机科学与技术专业2023级本科生学习资料☆35Jul 1, 2025Updated last year
- A simple demo of Omnivore's API☆15Jan 9, 2024Updated 2 years ago
- Bε tree implementation☆14Dec 6, 2023Updated 2 years ago
- Lightweight implementation of `async-stream` without macros☆22Oct 8, 2025Updated 11 months ago
- Find python identifiers☆17Jul 20, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A web extension which allows you to view PDF files directly in VS Code.☆13Feb 13, 2024Updated 2 years ago
- mdbook typst preprocessor☆17Sep 14, 2026Updated last week
- Automatically find .rld file decrypt key and key table☆15Feb 1, 2024Updated 2 years ago
- Open Network Computing / Sun RPC types and fast serialisation☆15Aug 14, 2026Updated last month
- ☆15Nov 28, 2016Updated 9 years ago
- compress pdf without sever☆19May 17, 2023Updated 3 years ago
- vps☆20May 14, 2014Updated 12 years ago
- Reduce boilerplate by generating Builders for your Models using swift macros.☆44Oct 21, 2024Updated last year
- ☆24May 6, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- High-performance compression library for Rust with LZ4, Zstd, Brotli, and Deflate. Features SIMD acceleration, streaming API, and no_std …☆23Updated this week
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆18Aug 9, 2018Updated 8 years ago
- A macOS application to display previews of Lottie animations.☆23Feb 10, 2026Updated 7 months ago
- Jianzipu input, encoding and display solution|减字谱输入、编码、显示方案☆56May 16, 2026Updated 4 months ago
- Cross-Platform, beautiful and powerful stream downloader for DASH/HLS/MSS. English/简体中文/繁體中文.☆16Dec 11, 2025Updated 9 months ago
- Cache aware and mem efficient data structures for rust.☆25Updated this week
- 一个 Typst 编写的试卷、讲义模板。☆41Sep 10, 2026Updated 2 weeks ago
- 基于KHドット道玄坂16衍生的中文像素字体 / A Chinese pixel font derived from KH Dot Dougenzaka 16.☆71Sep 6, 2026Updated 2 weeks ago
- Test futures under all possible polling schedules☆21Jul 25, 2022Updated 4 years ago
- 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.
- 北京理工大学软件工程大二小学期Web开发基础（互联网应用开发基础训练）大作业，By 光圈科技爱猫TV☆19Mar 20, 2025Updated last year
- Rust binding to Linux's async block IO: libaio☆20Jul 14, 2015Updated 11 years ago
- There are many user scripts created by lcandy2.☆14Jul 5, 2024Updated 2 years ago
- WikiSurfing is an endless wiki that creates new articles using AI.☆19Apr 23, 2026Updated 5 months ago
- An upstream ZeroMQ module for nginx☆22Nov 26, 2014Updated 11 years ago
- Cassandra-Node Bridge provides a link between Apache Cassandra and Node.js. Access cassandra from Node.js through an asynchronous Javasc…☆18Nov 26, 2010Updated 15 years ago
- A static source code analysis tool to improve quality and reduce defects for Swift.☆36Sep 23, 2019Updated 7 years ago