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 7 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:
- KV implementation on top of git (mirror of https://git.robur.coop/robur/git-kv)☆15Oct 7, 2026Updated 3 weeks ago
- Compute pop-up menus from text and overlay properties☆11Jul 28, 2015Updated 11 years ago
- CI and test infrastructure for OPAM packages☆10Sep 8, 2013Updated 13 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
- 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.
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Sep 23, 2026Updated last month
- Folds captured output sections in Travis CI build log☆14Dec 13, 2022Updated 3 years ago
- Keywords to Write Command Lines ~ Partial porcelain around Cmdliner☆13Mar 28, 2026Updated 7 months ago
- Binding to CRlibm☆14Jul 25, 2023Updated 3 years ago
- Multinomials for the Mathematical Components library.☆17Updated this week
- A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.☆16Aug 28, 2023Updated 3 years ago
- Raw bindings to platform APIs for OCaml☆16Mar 18, 2024Updated 2 years ago
- Send a mail in OCaml☆17Jun 5, 2020Updated 6 years ago
- Theorems for Real Closed Fields☆15Updated this week
- 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.
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated 2 years ago
- ☆17Jan 30, 2025Updated last year
- ☆15Mar 26, 2024Updated 2 years ago
- The xterm.js web IDE aka The Browser Terminal☆15Updated this week
- Bugzilla bug reports to GitHub Issue Tracker convertor☆11May 26, 2026Updated 5 months ago
- The XSD2Java Gradle Plugin generates java classes from an existing XSD schema.☆11Mar 4, 2025Updated last year
- Ocaml bindings for the zxcvbn password strength estimation library☆18Nov 13, 2020Updated 5 years ago
- Kohai is a very simple (but opinionated) timetracker for my personal usage☆13May 14, 2026Updated 5 months ago
- Portable and reasonably fast OCaml regexp library☆14Dec 31, 2011Updated 14 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.
- Stripped-down version of mccs with OCaml bindings☆24Jan 9, 2025Updated last year
- PDF CLI pipeline: merge, split, crop, rotate, compress, extract images, add text and more. Modern pdftk replacement, powered by pikepdf/q…☆18Oct 12, 2026Updated 3 weeks ago
- Convert a cmi file back to an mli interface☆20Jan 18, 2015Updated 11 years ago
- Let your GNOME desktop speak. Reads desktop notifications or selected text aloud with human voice using Piper. Uses a local LLM to summa…☆16Jul 16, 2026Updated 3 months ago
- An interval library for OCaml☆17Dec 9, 2022Updated 3 years ago
- Bootstrap scripts to build standalone OPAM projects☆15Nov 9, 2017Updated 8 years ago
- ocamldoc comment syntax parser☆21Apr 30, 2020Updated 6 years ago
- ☆10Feb 7, 2020Updated 6 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 9 months ago
- 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.
- Co-operative allocation of domains for OCaml☆15Jan 26, 2023Updated 3 years ago
- an ocaml package to generate ULIDs☆20Jan 2, 2019Updated 7 years ago
- Export your Bookmarked Tweets with Flask☆14Sep 29, 2022Updated 4 years ago
- Helper image for Terraform module development in Gitpod☆15Dec 29, 2022Updated 3 years ago
- ☆11Feb 25, 2020Updated 6 years ago
- Reactive signals for OCaml.☆19Sep 12, 2024Updated 2 years ago
- Another attempt for visualizing proofs☆12Nov 19, 2024Updated last year