Simple visualized cetz editor
☆12Jun 22, 2026Updated last month
Alternatives and similar repositories for vistyp
Users that are interested in vistyp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cosmo is a language replacing awful C++'s compile-time magics☆16Jun 19, 2026Updated last month
- My blog.☆28Jul 13, 2026Updated last month
- Upgrade your typst packages☆23Updated this week
- Riemann sum graphs in Typst with CeTZ☆23Sep 18, 2025Updated 11 months ago
- Using OCR to convert images of formulas into Typst code.☆18Jul 27, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Python interpreter written in Nim (C or Js backend)☆22Aug 7, 2026Updated last week
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Homotopy type theory☆14Sep 21, 2022Updated 3 years ago
- Typst 中文社区导航——这里收集了一些官方文档和小蓝书中未提到的一些问题和小技巧,尤其是面向中文用户的。☆35Updated this week
- Differential forms in Julia☆15Mar 16, 2024Updated 2 years ago
- Typst blog template based on Zola, typst.ts, and apollo.☆44Jun 8, 2025Updated last year
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 15 years ago
- A program (trying) to let Xiaomi WPS container to run more apps.☆10May 30, 2024Updated 2 years ago
- Programming in Haskell (2nd ed) by Graham Hutton☆12Dec 4, 2024Updated last year
- 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.
- Determinate CI is the one-stop shop for effortless Nix CI in GitHub Actions.☆15Updated this week
- Julia interface to GAlgebra via PyCall 🔮☆17Updated this week
- A clean and minimal template for your CV or résumé.☆13Apr 2, 2025Updated last year
- It's not ROS... but it is ROS-y! Simple, fast inter-process message passing for distributed Python processes☆11Jul 12, 2026Updated last month
- A package that helps you to specify different numbering formats for different levels of headings.☆32Nov 2, 2024Updated last year
- A haptic authoring tool☆12May 19, 2025Updated last year
- EPL(Easy Programming Language(易語言) CI/CD buildtool☆15Sep 16, 2024Updated last year
- ☆22Dec 3, 2024Updated last year
- ☆16Jun 23, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Some deep learning models written with mxnet and C++11.☆12Feb 6, 2018Updated 8 years ago
- A Computer Algebra System (CAS) written in pure Typst.☆52Jun 15, 2026Updated 2 months ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Oct 29, 2021Updated 4 years ago
- My basic LaTeX macros and BibTeX file.☆14Jan 13, 2023Updated 3 years ago
- JavaScript library for creating particles animation.☆10Mar 23, 2016Updated 10 years ago
- Homework Template for Typst☆13Apr 5, 2023Updated 3 years ago
- A Typst package for creating colorful and customizable boxes☆149Jul 28, 2025Updated last year
- GoGaucho WebApp☆11May 23, 2026Updated 2 months ago
- All-in-one Typst integration for Astro☆195Aug 2, 2026Updated 2 weeks 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.
- JavaScript/TypeScript to Swift Transpiler aka JSON with functions☆26Jan 11, 2017Updated 9 years ago
- A tool for modeling infectious diseases.☆18Apr 29, 2024Updated 2 years ago
- Graph view for your Typst notes with preview syncing☆17Dec 11, 2025Updated 8 months ago
- Template for a basic academic page☆19Jun 23, 2026Updated last month
- Render 3D models in Typst☆22Aug 11, 2026Updated last week
- Beginning of formal language theory☆24Dec 7, 2019Updated 6 years ago
- I'll put simpler VRC shader stuff here☆16Jan 27, 2025Updated last year