Play tetris in typst
☆12Dec 22, 2023Updated 2 years ago
Alternatives and similar repositories for typst-tetris
Users that are interested in typst-tetris are comparing it to the libraries listed below
Sorting:
- 一起来数三角形吧!☆10Jun 27, 2024Updated last year
- Submit your health status to your fucking department everyday☆11Aug 24, 2022Updated 3 years ago
- 数え上げお姉さん https://youtu.be/Q4gTV4r0zRs の愚直実装☆17Dec 2, 2021Updated 4 years ago
- Raytracing in One Weekend in GLSL using veda☆22Jun 5, 2020Updated 5 years ago
- A transpiler that converts TeX into Unicode (as possible).☆20Jan 26, 2026Updated last month
- My typst templates & utilities (WIP)☆27Oct 21, 2025Updated 4 months ago
- 华科寝室简易门禁☆30Mar 30, 2022Updated 3 years ago
- A JSON-based database to relational mapping Anime ID's between MyAnimeList, Annict, AniList and Syoboi Calendar☆35Feb 19, 2026Updated 2 weeks ago
- Draw elegant metro maps with ease☆40Aug 12, 2025Updated 6 months ago
- A standard-derived suite of cryptography libraries for the TI-84+ CE graphing calculator.☆14Jan 24, 2026Updated last month
- Simple reliable transport (Cal EE 122 Project 1, Fall 2011)☆11Oct 11, 2013Updated 12 years ago
- Reduces the size and coverage of OpenType fonts.☆50Feb 11, 2026Updated 3 weeks ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆12Oct 17, 2025Updated 4 months ago
- StarDict in Rust! 使用 离线 / 在线 词典在终端中查单词、背单词!☆42Apr 7, 2025Updated 10 months ago
- mathjax-node for pages☆41Sep 7, 2020Updated 5 years ago
- Include PDF images in your Typst document☆107Oct 24, 2025Updated 4 months ago
- Convert shared libraries into relocatable objects☆10Dec 23, 2023Updated 2 years ago
- A collection of MathJax extensions provided by third-party contributors☆10Oct 23, 2017Updated 8 years ago
- Providing wrapper types for safely performing panic-free checked arithmetic on instants and durations.☆17Updated this week
- Semantic Web Services Integration for Biomedical Applications☆12Jul 11, 2017Updated 8 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- A LaTeX package to run source code and command-line executable☆14Jan 24, 2025Updated last year
- Eroge Music Quiz☆11Updated this week
- ☆11Jul 4, 2022Updated 3 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- A shareable Renovate config for Cybozu☆11Updated this week
- Zotero client build scripts☆11Apr 20, 2023Updated 2 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 2 months ago
- The main third-party documentation of communication protocols used by Texas Instruments graphing calculators and implemented by libticalc…☆14Mar 29, 2015Updated 10 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- user-editable, acronym-only dictionary☆24Jan 7, 2017Updated 9 years ago
- REPL for C preprocessor of C++17☆10Jul 20, 2025Updated 7 months ago
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- Disambiguating biomedical and clinical concepts with word embeddings☆14Apr 17, 2018Updated 7 years ago
- ☆14Updated this week
- Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust☆18Feb 12, 2026Updated 3 weeks ago
- A parser for serializing and deserializing .pixi files used by PixiEditor☆15Feb 22, 2026Updated last week
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago