A repository with a full texlive installation to be the base for my other texlive-related containers.
☆29Apr 8, 2024Updated last year
Alternatives and similar repositories for docker-texlive-full
Users that are interested in docker-texlive-full are comparing it to the libraries listed below
Sorting:
- A pandoc installation in docker.☆10Aug 4, 2022Updated 3 years ago
- A template for pandoc using uikit☆16Jan 30, 2020Updated 6 years ago
- PDF Glossary Export Add-on for Anki☆29Mar 21, 2018Updated 7 years ago
- Call scripts on suspend and resume for the currently logged in user using `zzz`☆27Jun 12, 2022Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- VisionGRU: A Linear-Complexity RNN Model for Efficient Image Analysis☆13Dec 26, 2024Updated last year
- OpenVLA for AIRBOT☆15Aug 15, 2024Updated last year
- A command-line snippets manager.☆17Nov 24, 2023Updated 2 years ago
- Isomorphic JavaScript helper functions (crpyto, performance, ..)☆11Jul 18, 2023Updated 2 years ago
- Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.☆12Mar 2, 2018Updated 8 years ago
- Launcher application for Google Chrome's flatpak on Endless OS☆11Updated this week
- Import entities from another Wikibase instance (e.g. Wikidata)☆13May 21, 2023Updated 2 years ago
- Chicago Social Interaction Model (chiSIM) framework repository☆12Aug 9, 2023Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- Erlang client for StatsD☆19Oct 9, 2018Updated 7 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10May 18, 2021Updated 4 years ago
- ☆10Jul 8, 2020Updated 5 years ago
- Useful Nautilus Scripts made with☆13Jul 27, 2021Updated 4 years ago
- TypeScript implementation of ZenML parser and XML manipulation utilities☆10Feb 18, 2023Updated 3 years ago
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 3 years ago
- This is a high performance stub server.☆13Sep 3, 2024Updated last year
- A terminal plotter for tensorboard and csv☆10Jul 20, 2024Updated last year
- Exploring Pose-Guided Imitation Learning for Robotic Precise Insertion☆20May 15, 2025Updated 9 months ago
- visualize link relations on scrapbox's project☆10Sep 7, 2025Updated 6 months ago
- run multiple shell commands in parallel and coordinate their output☆31Jul 5, 2012Updated 13 years ago
- This repository contains the code for the IEEE Robotics and Automation Letters paper "Open-Set Object Detection Using Classification-Free…☆14Dec 6, 2023Updated 2 years ago
- Fork of https://github.com/sprig/org-capture-extension with org-roam-protocol☆14Feb 18, 2023Updated 3 years ago
- retiolum network☆13Aug 27, 2025Updated 6 months ago
- 3D Scene Annotation and Dataset Toolkit☆10Jun 11, 2023Updated 2 years ago
- Atom Appimage for linux 64bits☆12Nov 23, 2022Updated 3 years ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆35Updated this week
- home-assistant,io Integration plugin for GQ electronics GMC-500+ Geiger counter☆10Mar 31, 2022Updated 3 years ago
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago
- Extra badges for App Store, Product Hunt and Hatena bookmarks☆11Sep 21, 2023Updated 2 years ago
- PyTorch implementation for the Neural Logic Machines (NLM).☆11May 7, 2019Updated 6 years ago
- Linear-complexity Private Function Evaluation (PFE) based on homomorphic encryption (as presented at ESORICS'20).☆10Sep 14, 2020Updated 5 years ago
- ☆11Jun 25, 2025Updated 8 months ago