aruneko/texlive external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

aruneko/texlive

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/aruneko/texlive)

Close

aruneko / texliveView on GitHubMore

• External links
• Readme badge

☆16Mar 21, 2023Updated 2 years ago

Alternatives and similar repositories for texlive

Users that are interested in texlive are comparing it to the libraries listed below

• YujiToshinaga / RPi64Toppers

  View on GitHub
  TOPPERS Software for Raspberry Pi AArch64.
  ☆16Oct 28, 2018Updated 7 years ago
• yoshito-n-students / gazebo_continuous_track

  View on GitHub
  ☆16Nov 5, 2024Updated last year
• ichiro-its / ros2-ci

  View on GitHub
  Build and test your ROS 2 project using GitHub Actions.
  ☆15Aug 1, 2022Updated 3 years ago
• mame / self-description-set

  View on GitHub
  A formula that become itself when plotted
  ☆21Feb 29, 2024Updated 2 years ago
• texjporg / uplatex

  View on GitHub
  upLaTeX community edition
  ☆19Jul 14, 2022Updated 3 years ago
• idt12312 / MIZUHO

  View on GitHub
  マイクロマウス2016の機体データ
  ☆27Feb 9, 2019Updated 7 years ago
• ocw-central / ocw-central-frontend

  View on GitHub
  Frontend implementation of ocwcentral.com
  ☆21Aug 30, 2023Updated 2 years ago
• showa-yojyo / notebook

  View on GitHub
  My personal notes
  ☆25Feb 8, 2026Updated 3 weeks ago
• dwango / nicolive-kubernetes-migration-handbook-2022

  View on GitHub
  ニコニコ生放送をDocker SwarmからKubernetesへ移行した内容をハンドブックとして公開中。
  ☆30Sep 7, 2024Updated last year
• doraTeX / TeX2img

  View on GitHub
  TeX2img for macOS
  ☆24Apr 30, 2024Updated last year
• yoshito-n-students / gazebo_continuous_track_example

  View on GitHub
  How to use a realtime simulation of continuous tracks for Gazebo 7 & 9
  ☆26Jun 4, 2020Updated 5 years ago
• ymapteam / root_lecture

  View on GitHub
  ROOT講習会
  ☆10Jul 17, 2025Updated 7 months ago
• mattn / vim-corona-stats

  View on GitHub
  ☆26Mar 30, 2020Updated 5 years ago
• furo-org / VTC

  View on GitHub
  VTC: Virtual Tsukuba Challenge
  ☆34Nov 18, 2021Updated 4 years ago
• 100kinsat / 100kinSAT

  View on GitHub
  100kinSAT - CanSat（カンサット）競技の入門キット
  ☆27Apr 22, 2021Updated 4 years ago
• Koichi-Sakata / pylib_sakata

  View on GitHub
  ☆11Jan 8, 2026Updated last month
• h-kitagawa / plistings

  View on GitHub
  pLaTeX で listings.styを日本語対応させる（さらなる別の）追加パッケージ
  ☆42Sep 14, 2025Updated 5 months ago
• TemplierPaul / NeuroEvolution.jl

  View on GitHub
  Julia implementation of NEAT and HyperNEAT
  ☆10Sep 3, 2020Updated 5 years ago
• mfisherman / docker

  View on GitHub
  A collection of dockerfiles
  ☆12Feb 17, 2026Updated 2 weeks ago
• DanielCrompton123 / LiquidGlassText

  View on GitHub
  ☆17Sep 6, 2025Updated 6 months ago
• InigoRomero / 42ApiScript

  View on GitHub
  ☆11Mar 29, 2021Updated 4 years ago
• takamatsu-city / opendata

  View on GitHub
  高松市オープンデータの管理・公開、およびオープンデータサイトの管理・ホスティング
  ☆14Updated this week
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• YOPll / 1337Badge_BOT

  View on GitHub
  This discord bot preview 42Network student and poolers progress in a form of a badge.
  ☆10Oct 29, 2021Updated 4 years ago
• LexouDuck / RT

  View on GitHub
  A 3d raytracing program (42 team project)
  ☆10Apr 26, 2025Updated 10 months ago
• tkm2261 / kaggler_ja_slack_archiver

  View on GitHub
  Slack log archive system and veiwer on GAE
  ☆42Nov 3, 2018Updated 7 years ago
• Ziphil / Zenml

  View on GitHub
  TypeScript implementation of ZenML parser and XML manipulation utilities
  ☆10Feb 18, 2023Updated 3 years ago
• uetchy / badge-api

  View on GitHub
  Extra badges for App Store, Product Hunt and Hatena bookmarks
  ☆11Sep 21, 2023Updated 2 years ago
• nwiizo / workspace_2025

  View on GitHub
  👨‍💻 Personal workspace for 2025: Learning, coding experiments, and project ideas. 🚀 A collection of technical notes, software implemen…
  ☆14Dec 28, 2025Updated 2 months ago
• leeoocca / 42extra

  View on GitHub
  ☆10Feb 11, 2026Updated 3 weeks ago
• provables / sequencelib

  View on GitHub
  A platform for formalizing OEIS sequences in Lean 4
  ☆18Updated this week
• eggplants / ghitter

  View on GitHub
  GitHub as a SNS
  ☆10Jan 11, 2023Updated 3 years ago
• JuliaRobotics / FunctionalStateMachine.jl

  View on GitHub
  Build a state machine in Julia based on functions along with stepping and visualization tools
  ☆14Dec 17, 2024Updated last year
• supermomonga / jazzradio.vim

  View on GitHub
  As you know, all we need are Jazz and Vim.
  ☆20Dec 15, 2015Updated 10 years ago
• grassjelly / mycobot

  View on GitHub
  ☆10Feb 12, 2021Updated 5 years ago
• NLnetLabs / rrdpit

  View on GitHub
  RRDP IT: A disk to RPKI Delta Protocol tool.
  ☆11Jan 28, 2026Updated last month
• solaoi / broly

  View on GitHub
  This is a high performance stub server.
  ☆13Sep 3, 2024Updated last year
• AlexDuchnowski / rubiks-cube

  View on GitHub
  A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.
  ☆11Jul 16, 2025Updated 7 months ago
• proost-assistant / ProostLean

  View on GitHub
  An reimplementation of the Proost proof-assistant written in Lean 4
  ☆12Mar 3, 2024Updated 2 years ago