Telegram bot to check the menu of Universidad de Granada dining hall.
☆17Feb 25, 2026Updated 8 months ago
Alternatives and similar repositories for ComedoresUGRbot
Users that are interested in ComedoresUGRbot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository contains a Visual Studio Code syntax highlighter for OMG IDL files.☆12Sep 28, 2020Updated 6 years ago
- repositorio de la charla de la ETSIIT de bots de telegram☆24Oct 19, 2016Updated 10 years ago
- kernel source and uboot configuration for linux 6.1.31 for the orange pi zero 3.☆13Jan 9, 2024Updated 2 years ago
- ☆10Sep 28, 2022Updated 4 years ago
- Parsec orgmode parser implemented by Brent Yorgey☆11Mar 16, 2014Updated 12 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Normalization by Evaluation for STLC with sums (no proof of correctness, shame! shame! shame!)☆12Nov 22, 2019Updated 6 years ago
- The Imprint Project☆14Sep 9, 2024Updated 2 years ago
- ☆10May 3, 2017Updated 9 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 8 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- embed haskell diagrams in emacs org-mode files☆10Apr 7, 2016Updated 10 years ago
- Combinatorial species in HoTT☆12May 23, 2015Updated 11 years ago
- ☆17Oct 16, 2018Updated 8 years ago
- Trabajo Fin de Grado: Curvas Elípticas en Criptografía☆10Jul 14, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 years ago
- An introduction to the Ruby language in ten lines of code (in Spanish)☆10Mar 4, 2018Updated 8 years ago
- The Compositionality article class.☆14Mar 16, 2026Updated 7 months ago
- RTI Connector for Connext DDS is a lightweight technology that enables DDS data to be accessed with JavaScript.☆20Sep 15, 2026Updated last month
- Diferentes scripts para representación de carreras en cifras☆10Mar 6, 2017Updated 9 years ago
- Reducción de la dimensionalidad en problemas de clasificación con Deep Learning: documentación y software asociado☆15Aug 3, 2017Updated 9 years ago
- Guía de uso de beamer☆10Sep 23, 2017Updated 9 years ago
- Libro con el resultado de recopilar orientaciones para la realización del TFG/TFM y la memoria. Resultado del PIBD código 22-29 financiad…☆29Feb 20, 2026Updated 8 months ago
- Cohesive type theory☆19Dec 6, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- New tex4ht documentation☆12Nov 20, 2025Updated 11 months ago
- Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2…☆22May 29, 2024Updated 2 years ago
- This repo has been merged into: https://github.com/music-suite/music-suite☆19Apr 28, 2020Updated 6 years ago
- A gallery of csound instruments☆17Oct 28, 2021Updated 5 years ago
- Add ambilight to your Mac. *Requires Arduino UNO☆17Jul 1, 2023Updated 3 years ago
- ☆23May 4, 2020Updated 6 years ago
- Python challenges for a deadlier programming Kung Fu☆10Dec 14, 2017Updated 8 years ago
- Directed type theory for formal category theory☆19Apr 7, 2017Updated 9 years ago
- ☆13Nov 5, 2017Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Deposited packages of the homalg project☆20Jul 19, 2026Updated 3 months ago
- ☆21Sep 14, 2019Updated 7 years ago
- Discurso colaborativo para la graduación de la promoción 11-16 del DGIIM☆11May 28, 2016Updated 10 years ago
- Análisis exploratorio y visualización de datos con R☆15Feb 12, 2015Updated 11 years ago
- Enable GitHub developers to deploy to Azure WebApps using GitHub Actions☆31Aug 18, 2022Updated 4 years ago
- ☆22Dec 23, 2016Updated 9 years ago
- Arquitectura de servicios web para usuarios de una institución académica.☆13Sep 16, 2017Updated 9 years ago