ckaestne / gdoc2latexView external linksLinks
☆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☆64Dec 11, 2021Updated 4 years ago
- ☆11Mar 16, 2017Updated 8 years ago
- A simple graph library for Scala☆10Feb 5, 2022Updated 4 years ago
- ☆12Jul 25, 2025Updated 6 months ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- SHA and Shake for scala☆13Jan 21, 2026Updated 3 weeks ago
- Test repository for creating a websocket notification service with Skunk☆11May 13, 2020Updated 5 years ago
- ☆16Jan 23, 2026Updated 3 weeks ago
- Enforces shaded package and artifact names to ensure binary compatibility across major library versions☆12Nov 6, 2023Updated 2 years ago
- BigInteger for scala with very fast modPow☆10Updated this week
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- A multiplatform Kotlin library providing basic cryptographic functions and primitives☆15Oct 5, 2025Updated 4 months ago
- ☆11Dec 6, 2021Updated 4 years ago
- A library to transform Scala product types and Schemes from different systems into other Schemes. Any implemented type automatically gets…☆14Feb 7, 2026Updated last week
- Follower of EXT:bib to show publications in TYPO3. Im- and export of bibtext and xml files.☆11Feb 2, 2026Updated last week
- A tqdm bar progress that works with MongoDB instead of console.☆11Feb 21, 2022Updated 3 years ago
- Yet another scala-jwt library which has the aim to enhance user experience.☆10Mar 16, 2025Updated 10 months ago
- A Variability-Aware Interpreter for Java Applications☆11Oct 13, 2020Updated 5 years ago
- CS Deadlines - Top CS Conferences deadlines☆12Updated this week
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 3 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
- I couldn't find a guide so I made one!☆11Sep 21, 2022Updated 3 years ago
- Functional bindings for ZeroMQ☆10Aug 12, 2024Updated last year
- Command Line Interface for Scala Native☆19Jan 24, 2026Updated 3 weeks ago
- The newest version of PatchNet☆14Nov 25, 2022Updated 3 years ago
- Home server with HTPC, TIG stack, ELK stack, Nginx, and a Time Machine Capsule on NixOS.☆15Oct 5, 2020Updated 5 years ago
- ☆14Jun 11, 2025Updated 8 months ago
- OpenTelemetry support for Google Cloud Trace for Rust☆12Jan 5, 2026Updated last month
- VSCode extension for CoDiff☆10May 28, 2021Updated 4 years ago
- Streaming PDF processor for Scala☆13Apr 2, 2025Updated 10 months ago
- A comprehensive list of post-quantum crypto schemes and their properties☆13May 3, 2024Updated last year
- Domain specific language for modelling dynamic Bayesian networks and estimating posteriors☆13Jul 2, 2024Updated last year
- Are you SATySFi-ed with Nix?☆14Mar 6, 2023Updated 2 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Updated this week
- Neo4j example movie search application with GraphQL backend☆14Apr 3, 2018Updated 7 years ago
- standalone application with scala native☆11Jun 5, 2023Updated 2 years ago
- ☆17Feb 14, 2024Updated 2 years ago
- A Learn-to-Rank algorithm library☆13Aug 15, 2024Updated last year
- Java 18 - Vector API Benchmark☆13Aug 31, 2023Updated 2 years ago