Simple visualized cetz editor
☆12Jun 22, 2026Updated 3 months ago
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 3 months ago
- My blog.☆29Jul 13, 2026Updated 2 months ago
- Upgrade your typst packages☆23Updated this week
- Riemann sum graphs in Typst with CeTZ☆24Sep 18, 2025Updated last year
- Using OCR to convert images of formulas into Typst code.☆18Jul 27, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Python interpreter written in Nim (C or Js backend)☆22Sep 20, 2026Updated last week
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Typst 中文社区导航——这里收集了一些官方文档和小蓝书中未提到的一些问题和小技巧，尤其是面向中文用户的。☆35Aug 31, 2026Updated 3 weeks ago
- Homotopy type theory☆14Sep 21, 2022Updated 4 years ago
- Constraint solver based on abstract interpretation☆11Dec 20, 2024Updated last year
- 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
- 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.
- Programming in Haskell (2nd ed) by Graham Hutton☆13Dec 4, 2024Updated last year
- Determinate CI is the one-stop shop for effortless Nix CI in GitHub Actions.☆17Aug 12, 2026Updated last month
- 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 2 months ago
- 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 2 years ago
- ☆22Dec 3, 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.
- ☆16Jun 23, 2021Updated 5 years ago
- Some deep learning models written with mxnet and C++11.☆12Feb 6, 2018Updated 8 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Oct 29, 2021Updated 4 years ago
- JavaScript library for creating particles animation.☆10Mar 23, 2016Updated 10 years ago
- My basic LaTeX macros and BibTeX file.☆14Jan 13, 2023Updated 3 years ago
- A Computer Algebra System (CAS) written in pure Typst.☆55Jun 15, 2026Updated 3 months 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 4 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.
- All-in-one Typst integration for Astro☆200Aug 2, 2026Updated last month
- 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 9 months ago
- Template for a basic academic page☆19Jun 23, 2026Updated 3 months ago
- I'll put simpler VRC shader stuff here☆16Jan 27, 2025Updated last year
- Beginning of formal language theory☆24Dec 7, 2019Updated 6 years ago