FMuro/seville 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

FMuro/seville

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/FMuro/seville)

Close

FMuro / sevilleView on GitHubMore

• External links
• Readme badge

A gorgeous LaTeX beamer theme

☆19Mar 29, 2024Updated 2 years ago

Alternatives and similar repositories for seville

Users that are interested in seville are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• ssp / arXivToBibTeX

  View on GitHub
  Webpage creating BibTeX, HTML and Wiki markup for papers on the arXiv.
  ☆13May 9, 2020Updated 6 years ago
• mattynaz / latex-notes

  View on GitHub
  A LaTeX document class for notes 📝 and textbooks 📚
  ☆14Jul 14, 2021Updated 4 years ago
• jolars / qualpal

  View on GitHub
  Generate qualitative color palettes optimized for dinstictiveness
  ☆22May 15, 2026Updated 2 weeks ago
• LAC1213 / compact_unit_ball

  View on GitHub
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Dec 7, 2019Updated 6 years ago
• grasp-lyrl / low-dimensional-deepnets

  View on GitHub
  ☆19Mar 31, 2024Updated 2 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• maxsnew / synthetic-domain-theory

  View on GitHub
  Experiment with synthetic domain theory in cubical agda
  ☆14Nov 8, 2022Updated 3 years ago
• gamrot / godley

  View on GitHub
  Package to simulate SFC models in R
  ☆15Mar 8, 2026Updated 2 months ago
• sinhp / ProofLab

  View on GitHub
  ☆12May 14, 2023Updated 3 years ago
• slowphil / texmacs-win-builder

  View on GitHub
  Automate building of TeXmacs on windows using MSys2/Mingw-w32
  ☆10Jun 20, 2022Updated 3 years ago
• LanglandsLearningGroup / Video-Lectures

  View on GitHub
  ☆12Jan 4, 2023Updated 3 years ago
• TOTBWF / agda-sgd

  View on GitHub
  Experiments in Synthetic Differential Geometry
  ☆16Jul 1, 2021Updated 4 years ago
• rmitchellscott / Aviary

  View on GitHub
  A document uploader that automatically downloads and sends PDFs to your reMarkable cloud through a web interface or API. Supports PDF con…
  ☆51May 12, 2026Updated 2 weeks ago
• yistLin / beamertheme-yeast

  View on GitHub
  Yeast, a lite and light beamer theme
  ☆18Dec 6, 2020Updated 5 years ago
• team-alembic / lambdajam-blast

  View on GitHub
  Blast: An Asteroids clone written in Elixir and Phoenix LiveView
  ☆10Dec 3, 2022Updated 3 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• iblech / mathezirkel-kurs

  View on GitHub
  Worksheets and lecture notes for my math courses for school students (in German)
  ☆10Feb 12, 2026Updated 3 months ago
• HoTT / HoTT-2023

  View on GitHub
  Conference on Homotopy Type Theory 2023
  ☆13Jan 24, 2024Updated 2 years ago
• LukasPietzschmann / awesome-beamer

  View on GitHub
  Kinda awesome beamer theme
  ☆165Mar 27, 2026Updated 2 months ago
• AKielhorn / Context-Intro

  View on GitHub
  Eine Einführung in ConTeXt
  ☆14Jul 12, 2022Updated 3 years ago
• CategoricalData / HoTT-categories

  View on GitHub
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Jan 10, 2014Updated 12 years ago
• jonsterling / agda-synthetic-domain-theory

  View on GitHub
  ☆17Jun 10, 2022Updated 3 years ago
• HugoBlox / hugo-theme-saas-landing-page

  View on GitHub
  🚀 Ship a SaaS landing page this afternoon. Hero, pricing, testimonials — AI generates pages, you own as Markdown. No React to maintain, …
  ☆39May 2, 2026Updated 3 weeks ago
• sano-jin / express-beamer

  View on GitHub
  A modern LaTeX Beamer theme
  ☆71Nov 29, 2021Updated 4 years ago
• francoisschwarzentruber / tikzzz

  View on GitHub
  A tiny tikzzz editor in the browser
  ☆10Mar 29, 2025Updated last year
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• ualib / ualib.github.io

  View on GitHub
  The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…
  ☆20Dec 8, 2021Updated 4 years ago
• eaplatanios / eaplatanios.github.io

  View on GitHub
  A beautiful Jekyll theme for academics
  ☆29Oct 24, 2025Updated 7 months ago
• jonschz / tikz-nfold

  View on GitHub
  Triple, quadruple, and n-fold paths and arrows with TikZ
  ☆17Dec 26, 2023Updated 2 years ago
• modelint / flatland-model-diagram-editor

  View on GitHub
  Model text file + layout text file -> beautiful diagram
  ☆13Jan 14, 2025Updated last year
• joksas / hugo-simplecite

  View on GitHub
  Citations in Hugo websites.
  ☆33Feb 1, 2026Updated 3 months ago
• PikachuHy / texmacs-converter-tm2md

  View on GitHub
  a converter to markdown format for TeXmacs.
  ☆10Apr 8, 2020Updated 6 years ago
• clerkma / texlive-msvc-build

  View on GitHub
  TeX Live with MSVC
  ☆15Aug 13, 2025Updated 9 months ago
• ilhikki / hott-book-zh

  View on GitHub
  《The HoTT Book》 中文翻译
  ☆10Jan 5, 2025Updated last year
• ericfinster / higher-alg

  View on GitHub
  An approach to higher algebra in type theory
  ☆23May 12, 2020Updated 6 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• tensor-fusion / GPT-Haskell

  View on GitHub
  A pure Haskell implementation of a decoder-only transformer (GPT)
  ☆21Jun 22, 2024Updated last year
• Huguesmmm / dotfiles

  View on GitHub
  My personal dotfiles
  ☆35Jul 4, 2025Updated 10 months ago
• sdx23 / zotadd

  View on GitHub
  A simple script to add pdf-files to Zotero via CLI
  ☆12May 17, 2020Updated 6 years ago
• thosgood / maths-dictionary

  View on GitHub
  multilingual dictionary of mathematical terminology
  ☆21Apr 29, 2026Updated last month
• ArshiaHashemi / Heterogeneous-Agent-Macroeconomics-in-Julia

  View on GitHub
  Julia code for Greg Kaplan's course: Introduction to Heterogeneous Agent Macroeconomics.
  ☆20May 27, 2022Updated 4 years ago
• S120 / jmab

  View on GitHub
  JMAB Project
  ☆23Sep 10, 2018Updated 7 years ago
• SDPyle / groove

  View on GitHub
  A groovy open source scrum application utilizing the STAPLE stack (Surface, Tailwind, Ash, Phoenix, LiveView, Elixir)
  ☆28Oct 11, 2023Updated 2 years ago