Application pour l'Université Paul Sabatier (UT3). Elle permet de consulter son emploi du temps, prendre des notes manuscrites ou bien via des photos, rechercher une salle libre, trouver un bâtiment sur une carte interactive.
☆15Mar 1, 2026Updated 3 weeks ago
Alternatives and similar repositories for ut3_calendar
Users that are interested in ut3_calendar are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell embedded domain-specific language (eDSL) for the algorithmic construction of maps for the computer game "Doom"☆15Jan 26, 2021Updated 5 years ago
- ☆14Jan 30, 2025Updated last year
- Compute pop-up menus from text and overlay properties☆11Jul 28, 2015Updated 10 years ago
- Use GVfs as a backend for docker volume☆14Apr 21, 2018Updated 7 years ago
- Docker: Alpine Linux and Wekan <=> MongoDB☆10Mar 27, 2025Updated last year
- 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.
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated last year
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- Binding to CRlibm☆14Jul 25, 2023Updated 2 years ago
- Folds captured output sections in Travis CI build log☆13Dec 13, 2022Updated 3 years ago
- Remake, a build system that bridges the gap between make and redo☆29Jul 25, 2025Updated 8 months ago
- An interval library for OCaml☆16Dec 9, 2022Updated 3 years ago
- Send a mail in OCaml☆17Jun 5, 2020Updated 5 years ago
- A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.☆18Aug 28, 2023Updated 2 years ago
- Raw bindings to platform APIs for OCaml☆16Mar 18, 2024Updated 2 years ago
- 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.
- Multinomials for the Mathematical Components library.☆16Mar 3, 2026Updated 3 weeks ago
- Export your Bookmarked Tweets with Flask☆12Sep 29, 2022Updated 3 years ago
- an ocaml package to generate ULIDs☆19Jan 2, 2019Updated 7 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 30, 2024Updated last year
- Co-operative allocation of domains for OCaml☆15Jan 26, 2023Updated 3 years ago
- A minor mode enabling split-screen scrolling in any Emacs 'comint-mode' buffer (such as shell-mode, inferior-python-mode, etc.)☆15Jan 5, 2026Updated 2 months ago
- Doom Emacs config works with LSP in Devcontainer☆22Oct 19, 2024Updated last year
- Browser extension to check and uptate archival of repositories in Software Heritage☆19Jan 6, 2024Updated 2 years ago
- Reactive signals for OCaml.☆18Sep 12, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Stripped-down version of mccs with OCaml bindings☆23Jan 9, 2025Updated last year
- Web server for IOCaml☆23Jun 24, 2017Updated 8 years ago
- Convert a cmi file back to an mli interface☆20Jan 18, 2015Updated 11 years ago
- ocamldoc comment syntax parser☆20Apr 30, 2020Updated 5 years ago
- Elisp library for the DeepL API☆15Jan 1, 2026Updated 2 months ago
- ☆10Feb 25, 2020Updated 6 years ago
- Bootstrap scripts to build standalone OPAM projects☆15Nov 9, 2017Updated 8 years ago
- A repo of elisp-benchmarks with native compilation☆19Mar 18, 2026Updated last week
- Async support for ERT☆18Jan 5, 2020Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Authentication framework for OCaml Dream web-framework☆17Apr 20, 2022Updated 3 years ago
- Another attempt for visualizing proofs☆12Nov 19, 2024Updated last year
- Binary packages for OPAM with local and remote repositories☆17Dec 27, 2022Updated 3 years ago
- A Kotlin multi-platform library providing some functional programming idioms and user defined effects.☆15Jan 5, 2024Updated 2 years ago
- Helper image for Terraform module development in Gitpod☆15Dec 29, 2022Updated 3 years ago
- A BSD-compatible reimplementation of Ubuntu's run-one☆15Jul 27, 2023Updated 2 years ago
- eclipse plugin to support side-by-side proofs and code☆25Dec 18, 2018Updated 7 years ago