☆32Nov 10, 2025Updated 11 months ago
Alternatives and similar repositories for clean-acmart
Users that are interested in clean-acmart are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Typst template mimicking acmart latex class☆35Jan 2, 2026Updated 10 months ago
- RISCV Core written in Calyx☆17Aug 16, 2024Updated 2 years ago
- A lighweight and parallel snapshot testing framework in rust☆41Aug 17, 2023Updated 3 years ago
- ☆16May 22, 2026Updated 5 months ago
- Este repositorio contiene todos los proyectos necesarios para la materia Programación Aplicada (SI220). Aquí podrás encontrar Apps hechas…☆33Sep 17, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)☆13Feb 20, 2026Updated 8 months ago
- Type equality constraints☆16Oct 17, 2026Updated 3 weeks ago
- A typst touying based presentation template☆21May 10, 2026Updated 5 months ago
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆21Jun 3, 2026Updated 5 months ago
- ☆13Mar 30, 2020Updated 6 years ago
- ☆10Apr 6, 2017Updated 9 years ago
- Use multiple bibliographies in a single Typst document—Moved to https://codeberg.org/ensko/typst-alexandria☆30Dec 11, 2025Updated 10 months ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 9 years ago
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 7 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.
- ☆10Apr 28, 2019Updated 7 years ago
- Unison base libraries☆25Sep 25, 2025Updated last year
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆23Updated this week
- OCaml backend for Idris2☆20Oct 12, 2020Updated 6 years ago
- define multi keystroke commands easily☆17Jun 11, 2018Updated 8 years ago
- A library for programming iCE40 FPGA from Lattice Semi☆13Jun 2, 2026Updated 5 months ago
- Booting multi-processors on x86 bare-metal.☆12Feb 25, 2022Updated 4 years ago
- Faceted execution in Racket☆12Sep 11, 2018Updated 8 years ago
- learn cuda with AI☆12Jan 21, 2026Updated 9 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- Collection of my Typst templates☆53Updated this week
- Rust bindings for CIRCT☆19Apr 20, 2024Updated 2 years ago
- A strange and sweet language made for gamejams☆11Feb 17, 2024Updated 2 years ago
- A DSL for the Automata Theory Classroom☆29Updated this week
- Benchmarks, testbenches, and transformed codes for high-level synthesis research☆14Aug 18, 2017Updated 9 years ago
- A spicy hardware description language with dependent types☆17Sep 25, 2022Updated 4 years ago
- An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REP…☆26Updated this week
- PoC Typst package to render Ratatui apps☆65Jun 23, 2026Updated 4 months ago
- 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.
- An experimental implementation of 'try' operator for Go☆13Jun 13, 2019Updated 7 years ago
- A category polymorphic `Functor` typeclass.☆11Jul 27, 2026Updated 3 months ago
- ☆14Oct 30, 2024Updated 2 years ago
- DINOMO: An Elastic, Scalable, High-Performance Key-Value Store for Disaggregated Persistent Memory (PVLDB 2022, VLDB 2023)☆37Apr 21, 2023Updated 3 years ago
- TUI implementation of 2048 in Rust☆14Oct 12, 2025Updated last year
- Proving crash safety for systems with layered recovery☆16Apr 1, 2026Updated 7 months ago
- a benchmark tool for the iip TCP/IP stack☆11Oct 17, 2026Updated 3 weeks ago