Typst template mimicking acmart latex class
☆28Jan 2, 2026Updated 2 months ago
Alternatives and similar repositories for typst-acmart
Users that are interested in typst-acmart are comparing it to the libraries listed below
Sorting:
- RISCV Core written in Calyx☆17Aug 16, 2024Updated last year
- ☆13Oct 28, 2025Updated 4 months ago
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆22Feb 13, 2026Updated 3 weeks ago
- 华中科技大学Linux协会（HUSTLUG）开源镜像站☆12Oct 26, 2023Updated 2 years ago
- Iron: selectively turn RISC-V binaries into hardware☆23Jun 8, 2023Updated 2 years ago
- Topic's overview☆12Jan 19, 2024Updated 2 years ago
- Partial evaluation of Python code☆22Mar 2, 2023Updated 3 years ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Oct 24, 2023Updated 2 years ago
- A Really Cool Calculator written in Haskell... or is it?☆45Aug 26, 2021Updated 4 years ago
- Open-source fonts (Ming Style) from the Project on Chinese Character Studies☆39Jan 20, 2026Updated last month
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 8 months ago
- A type-driven and high-performance ORM framework in Rust☆31Jun 13, 2025Updated 8 months ago
- A lighweight and parallel snapshot testing framework in rust☆37Aug 17, 2023Updated 2 years ago
- Interpreter for the reversible functional language rFun☆38Feb 28, 2018Updated 8 years ago
- Minecraft Redstone Compiler☆14Feb 9, 2025Updated last year
- A C++ library for reading the files used in Volker Springel's Gadget code☆12Aug 17, 2017Updated 8 years ago
- The Quantum Abstract Machine (QUAM) is a comprehensive framework designed to abstract and manage quantum programming environments, provid…☆19Updated this week
- Free software for accessing MiniDisc devices☆10Oct 23, 2023Updated 2 years ago
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated last month
- Analyze experimental data with Programming by Navigation☆17Updated this week
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 6 months ago
- Template for assignment 2 of SUSTech CS209, 23 spring semester.☆10Apr 18, 2023Updated 2 years ago
- ☆11Aug 23, 2023Updated 2 years ago
- blog with go☆11Jul 5, 2023Updated 2 years ago
- A library for programming iCE40 FPGA from Lattice Semi☆13Mar 22, 2024Updated last year
- ☆11Mar 20, 2025Updated 11 months ago
- A visitor counter for your GitHub Readme☆10Dec 15, 2021Updated 4 years ago
- Detect and remove unused dependencies for Python projects☆18Apr 5, 2025Updated 11 months ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- Implementation of Pie, following The Little Typer☆19Updated this week
- Mechanized baselines for various type system features☆18Updated this week
- A tool to prepare pdf files exported from Pepakura for cutting machines such as the Silhouette Cameo☆10Sep 8, 2014Updated 11 years ago
- A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts☆11Mar 13, 2023Updated 2 years ago
- ☆18Jun 6, 2025Updated 9 months ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated 7 months ago
- decrypt md5, sha1, sha256, sha512 with world most powerful database.☆10May 8, 2020Updated 5 years ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 3 years ago
- ☆14Oct 30, 2024Updated last year
- A prototype of an SSA-based quantum IR exploiting value semantics☆12Jan 23, 2024Updated 2 years ago