☆13Jan 18, 2025Updated last year
Alternatives and similar repositories for gdoc2latex
Users that are interested in gdoc2latex are comparing it to the libraries listed below
Sorting:
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆65Dec 11, 2021Updated 4 years ago
- ☆11Mar 16, 2017Updated 8 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- ☆12Jul 25, 2025Updated 7 months ago
- A simple graph library for Scala☆10Feb 5, 2022Updated 4 years ago
- I couldn't find a guide so I made one!☆11Sep 21, 2022Updated 3 years ago
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 3 years ago
- BigInteger for scala with very fast modPow☆10Feb 13, 2026Updated 3 weeks ago
- ☆16Jan 23, 2026Updated last month
- A multiplatform Kotlin library providing basic cryptographic functions and primitives☆15Oct 5, 2025Updated 5 months ago
- A library to transform Scala product types and Schemes from different systems into other Schemes. Any implemented type automatically gets…☆14Updated this week
- Functional bindings for ZeroMQ☆10Aug 12, 2024Updated last year
- A tqdm bar progress that works with MongoDB instead of console.☆11Feb 21, 2022Updated 4 years ago
- Yet another scala-jwt library which has the aim to enhance user experience.☆10Mar 16, 2025Updated 11 months ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- CS Deadlines - Top CS Conferences deadlines☆12Feb 14, 2026Updated 3 weeks ago
- A Variability-Aware Interpreter for Java Applications☆11Oct 13, 2020Updated 5 years ago
- ☆11Dec 6, 2021Updated 4 years ago
- Enforces shaded package and artifact names to ensure binary compatibility across major library versions☆12Nov 6, 2023Updated 2 years ago
- An sbt plugin to create annotations for the Github UI when sbt is run in Github Actions☆12Oct 10, 2025Updated 4 months ago
- Test repository for creating a websocket notification service with Skunk☆11May 13, 2020Updated 5 years ago
- Follower of EXT:bib to show publications in TYPO3. Im- and export of bibtext and xml files.☆11Feb 2, 2026Updated last month
- SHA and Shake for scala☆13Feb 13, 2026Updated 3 weeks ago
- Streaming PDF processor for Scala☆13Apr 2, 2025Updated 11 months ago
- OpenTelemetry support for Google Cloud Trace for Rust☆12Jan 5, 2026Updated 2 months ago
- ☆17Feb 14, 2024Updated 2 years ago
- Command Line Interface for Scala Native☆19Jan 24, 2026Updated last month
- ☆14Jun 11, 2025Updated 8 months ago
- Translate Braille Writing to Plain Text☆10Nov 6, 2025Updated 4 months ago
- A soft multimedia/graphics processor prototype in Chisel 3☆11May 3, 2023Updated 2 years ago
- The newest version of PatchNet☆14Nov 25, 2022Updated 3 years ago
- Are you SATySFi-ed with Nix?☆14Mar 6, 2023Updated 3 years ago
- A project made for the SCORE student competition at ICSE 2018☆14Oct 31, 2018Updated 7 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Feb 20, 2026Updated 2 weeks ago
- An ANTLR4 grammar for ECMAScript 5.1☆16Jul 13, 2017Updated 8 years ago
- A comprehensive list of post-quantum crypto schemes and their properties☆13May 3, 2024Updated last year
- Java 18 - Vector API Benchmark☆13Aug 31, 2023Updated 2 years ago
- ☆11Apr 12, 2024Updated last year
- Home server with HTPC, TIG stack, ELK stack, Nginx, and a Time Machine Capsule on NixOS.☆15Oct 5, 2020Updated 5 years ago