michel-steuwer / typst-acmartView external linksLinks
Typst template mimicking acmart latex class
☆27Jan 2, 2026Updated last month
Alternatives and similar repositories for typst-acmart
Users that are interested in typst-acmart are comparing it to the libraries listed below
Sorting:
- ☆13Oct 28, 2025Updated 3 months ago
- RISCV Core written in Calyx☆17Aug 16, 2024Updated last year
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆21Updated this week
- ☆28Nov 10, 2025Updated 3 months ago
- 华中科技大学Linux协会(HUSTLUG)开源镜像站☆12Oct 26, 2023Updated 2 years ago
- Iron: selectively turn RISC-V binaries into hardware☆23Jun 8, 2023Updated 2 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?☆44Aug 26, 2021Updated 4 years ago
- Open-source fonts (Ming Style) from the Project on Chinese Character Studies☆39Jan 20, 2026Updated 3 weeks ago
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 7 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 7 years ago
- ALSA for your snap package routing sound through Pulseaudio!☆11Jul 1, 2022Updated 3 years ago
- Graph Analysis of Urban Systems in QGIS☆11Mar 28, 2023Updated 2 years ago
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated last week
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 5 months ago
- A curated list of developers & designers on twitter. ⚡️☆11Dec 10, 2018Updated 7 years ago
- The Quantum Abstract Machine (QUAM) is a comprehensive framework designed to abstract and manage quantum programming environments, provid…☆18Jan 28, 2026Updated 2 weeks ago
- ☆11Aug 23, 2023Updated 2 years ago
- Minecraft Redstone Compiler☆13Feb 9, 2025Updated last year
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆11Feb 5, 2026Updated last week
- A prototype of an SSA-based quantum IR exploiting value semantics☆12Jan 23, 2024Updated 2 years ago
- Prepare consistent BibTeX files for your LaTeX documents☆12Apr 6, 2025Updated 10 months ago
- Mechanized baselines for various type system features☆18Dec 6, 2025Updated 2 months ago
- ☆14Oct 30, 2024Updated last year
- A tool to prepare pdf files exported from Pepakura for cutting machines such as the Silhouette Cameo☆10Sep 8, 2014Updated 11 years ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆15Dec 27, 2025Updated last month
- Rehearsal: A Configuration Verification Tool for Puppet☆11Dec 19, 2019Updated 6 years ago
- work in progress, playing around with btor2 in rust☆12Updated this week
- Calling a python function from SV, then have this python function call SV tasks. Useful for coding register sequences in python☆11Sep 23, 2022Updated 3 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated 6 months ago
- blog with go☆11Jul 5, 2023Updated 2 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 3 months ago
- A library for programming iCE40 FPGA from Lattice Semi☆13Mar 22, 2024Updated last year
- Open-source repository for the ISSTA'23 paper "CONCORD: Clone-aware Contrastive Learning for Source Code"☆11Nov 10, 2023Updated 2 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts☆11Mar 13, 2023Updated 2 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 4 months ago