☆43Feb 24, 2025Updated last year
Alternatives and similar repositories for dvdtyp
Users that are interested in dvdtyp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Modern, Friendly, and Customizable Theorem Environments for Typst☆31Mar 2, 2026Updated 4 months ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- Riemann sum graphs in Typst with CeTZ☆23Sep 18, 2025Updated 10 months ago
- Rust programming in Bulgarian.☆22Nov 16, 2021Updated 4 years ago
- A typst touying based presentation template☆17May 10, 2026Updated 2 months 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.
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Jun 20, 2025Updated last year
- A library of color palettes for Typst.☆61Apr 27, 2025Updated last year
- ☆18Jul 16, 2026Updated last week
- web framework benchmarks for actix-web, axum, warp and net/http(golang)..☆19May 25, 2022Updated 4 years ago
- Mid price estimation in LOB using Markov model☆13May 11, 2022Updated 4 years ago
- Tiny and simple javascript graphing library.☆14Nov 20, 2022Updated 3 years ago
- Track which HTTP protocols are being used by exchanges' servers☆17Apr 19, 2024Updated 2 years ago
- Elevate your documentation with this professional Typst manual template. Designed for clarity and performance. Perfect for technical writ…☆18Jun 20, 2026Updated last month
- Testnet exchange - near identical mirror to the prod exchange | Rest API + WS + Matching Engine☆13Sep 1, 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.
- 集成基础的 Typst 中文排版支持，提供 快速的中文排版体验。☆18Jul 2, 2026Updated 3 weeks ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆19Jun 3, 2017Updated 9 years ago
- An academic poster template for Typst☆155Apr 13, 2023Updated 3 years ago
- MaxJ and C/C++ library and utilities for Maxeler Dataflow Engines☆14Jun 11, 2018Updated 8 years ago
- ☆47Aug 31, 2023Updated 2 years ago
- Official rust implementation of the Kadcast P2P protocol for ultra-efficient message dissemination within Dusk Network☆27Jun 12, 2026Updated last month
- Simple Market-Taking Card Game☆23May 23, 2024Updated 2 years ago
- A Typst package for visualizing Neural Network Architectures with high-quality diagrams.☆76Dec 8, 2025Updated 7 months ago
- A versatile, clean and minimal template for non-fiction writing. Ideal for class notes, reports, and books.☆237Jun 3, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Simple admonishment for typst☆124Feb 25, 2026Updated 5 months ago
- ☆31Sep 8, 2023Updated 2 years ago
- Geometry Utility Functions☆12Nov 28, 2016Updated 9 years ago
- Make your zero-knowledge circuits safe with formal verification! 🍀☆34Jul 18, 2026Updated last week
- an #openAI powered pair programming partner☆37Jan 16, 2023Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆39Oct 5, 2023Updated 2 years ago
- ☆22May 9, 2024Updated 2 years ago
- Publish data to the Pyth Network☆33Oct 22, 2025Updated 9 months ago
- A simple plugin for managing tabs in neovim☆10Apr 27, 2023Updated 3 years 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.
- The Legrand Orange Book implemented in Typst☆151Jan 30, 2026Updated 5 months ago
- Read from a specified file or STDIN and output a specified number of random lines☆11Jun 8, 2024Updated 2 years ago
- Quickey is a Simple Flutter SQLite Wrapper☆13May 29, 2026Updated last month
- Sero is a web server that allows you to easily host your static sites without pain. The idea was inspired by surge.sh but gives you full …☆42Oct 4, 2024Updated last year
- Advanced data visualization with Typst.☆812Jul 8, 2026Updated 2 weeks ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆41Jun 22, 2026Updated last month
- Lil Rust project to help compare network latencies between tuned and non-tuned servers☆28Apr 3, 2024Updated 2 years ago