☆41Feb 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:
- Track which HTTP protocols are being used by exchanges' servers☆15Apr 19, 2024Updated last year
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Jun 20, 2025Updated 9 months ago
- Prototype of a command line argument parser with several opposite design goals from clap.☆47Updated this week
- Official repository of paper "LOVE-R1: Advancing Long Video Understanding with Adaptive Zoom-in Mechanism via Multi-Step Reasoning"☆23Nov 1, 2025Updated 5 months ago
- web framework benchmarks for actix-web, axum, warp and net/http(golang)..☆19May 25, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- An academic poster template for Typst☆151Apr 13, 2023Updated 2 years ago
- A simple note template in Typst.☆51Apr 4, 2025Updated last year
- ☆57Mar 24, 2025Updated last year
- A LaTeX template for presentations in the official IEE design.☆17Apr 3, 2026Updated last week
- Testnet exchange - near identical mirror to the prod exchange | Rest API + WS + Matching Engine☆13Sep 1, 2024Updated last year
- easy slides in typst☆128Apr 2, 2026Updated last week
- ☆47Aug 31, 2023Updated 2 years ago
- MaxJ and C/C++ library and utilities for Maxeler Dataflow Engines☆14Jun 11, 2018Updated 7 years ago
- A lecture notes template in Typst.☆83Jan 4, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 微调阿里开源的文字检测模型，利用合合识别返回的OCR结果作为初始训练数据，对模型进行优化训练，使其更加适应1万张图片的具体场景，提高文字识别的精度。☆10Dec 9, 2024Updated last year
- QT设计的图书管理系统☆10May 8, 2019Updated 6 years ago
- Official code for "VideoReward Thinker: Boosting Video Reward Models through Thinking-with-Image Reasoning"☆45Oct 20, 2025Updated 5 months ago
- An expo module to access the new Android credential Manager. Supports username/password, Passkeys and Google Sign In. This module is buil…☆11Oct 29, 2025Updated 5 months ago
- 东南大学 2021 级计算机专业操作系统课程实验 - Operating System Labwork source code in Dr.Kai Dong's Operating System Class. Based on OSTEP.☆13Jun 17, 2023Updated 2 years ago
- ☆30Sep 8, 2023Updated 2 years ago
- Simple Market-Taking Card Game☆21May 23, 2024Updated last year
- The official implementation of the paper "MLP Memory: A Retriever-Pretrained Memory for Large Language Models". (ICLR 2026)☆55Jan 28, 2026Updated 2 months ago
- Source code for student lectures on dependent type theory.☆12Jun 9, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- This is a Typst working paper template for general use☆25Oct 14, 2025Updated 5 months ago
- A minimal, reusable LaTeX Beamer template for academic presentations, thesis defenses, and institution-branded slide decks.☆14Updated this week
- Lil Rust project to help compare network latencies between tuned and non-tuned servers☆28Apr 3, 2024Updated 2 years ago
- Syntax highlighting for Ogre Scripts in Atom/ VSCode☆13Dec 10, 2025Updated 4 months ago
- A curated list of Plonky3 resources, libraries, tools and more.☆43Dec 1, 2025Updated 4 months ago
- Accompanying materials for "A Core Calculus for Documents"☆37Oct 5, 2023Updated 2 years ago
- The official repository for the paper Adversarial Inverse Reinforcement Learning for Market Making (2024) published and presented at the …☆34Dec 14, 2025Updated 3 months ago
- An academic Touying theme for creating presentation slides in Typst for members of the University of Strasbourg, France☆18Mar 7, 2026Updated last month
- This crate provides `lazy_static_include_bytes` and `lazy_static_include_str` macros to replace `include_bytes` and `include_str` macros.☆11Nov 24, 2025Updated 4 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆21May 9, 2024Updated last year
- ✒PrismBlue is a neat little text editor that works quickly and doesn't consume much! Available for Windows, Mac, and Linux and supports a…☆10Jun 24, 2024Updated last year
- 这里分享了一些我写的实用代码，部分已编译成可直接使用的程序，大家可以去 Releases 下载。☆12Jan 21, 2026Updated 2 months ago
- ☆46Oct 9, 2023Updated 2 years ago
- Touying theme for Southeast University 东南大学幻灯片模板（typst）☆22Jun 4, 2024Updated last year
- A formalization of continuation-passing style calculi in Coq [WIP]☆38Updated this week
- LCA as Code - Domain-Specific Language for Life-Cycle Analysis☆15Mar 26, 2026Updated 2 weeks ago