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.
☆14Mar 25, 2026Updated 2 months 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:
- ☆14Jan 30, 2025Updated last year
- Compute pop-up menus from text and overlay properties☆12Jul 28, 2015Updated 10 years ago
- Use GVfs as a backend for docker volume☆14Apr 21, 2018Updated 8 years ago
- Docker: Alpine Linux and Wekan <=> MongoDB☆10Mar 27, 2025Updated last year
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 2026Updated 2 months ago
- Binding to CRlibm☆14Jul 25, 2023Updated 2 years ago
- Folds captured output sections in Travis CI build log☆14Dec 13, 2022Updated 3 years ago
- Remake, a build system that bridges the gap between make and redo☆29Jul 25, 2025Updated 10 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
- The XSD2Java Gradle Plugin generates java classes from an existing XSD schema.☆11Mar 4, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Multinomials for the Mathematical Components library.☆17Apr 14, 2026Updated last month
- Export your Bookmarked Tweets with Flask☆13Sep 29, 2022Updated 3 years ago
- an ocaml package to generate ULIDs☆20Jan 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.)☆16Jan 5, 2026Updated 4 months ago
- Doom Emacs config works with LSP in Devcontainer☆23Oct 19, 2024Updated last year
- Browser extension to check and uptate archival of repositories in Software Heritage☆19Apr 24, 2026Updated last month
- Reactive signals for OCaml.☆20Sep 12, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Stripped-down version of mccs with OCaml bindings☆24Jan 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☆21Apr 30, 2020Updated 6 years ago
- Elisp library for the DeepL API☆15Jan 1, 2026Updated 4 months ago
- ☆11Feb 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☆20May 7, 2026Updated 2 weeks ago
- Async support for ERT☆18Jan 5, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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
- Authentication framework for OCaml Dream web-framework☆17Apr 20, 2022Updated 4 years ago
- eclipse plugin to support side-by-side proofs and code☆25Dec 18, 2018Updated 7 years ago