axellaffite / ut3_calendarView external linksLinks
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.
☆15Nov 12, 2025Updated 3 months ago
Alternatives and similar repositories for ut3_calendar
Users that are interested in ut3_calendar are comparing it to the libraries listed below
Sorting:
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated last year
- ☆14Jan 30, 2025Updated last year
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last week
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 30, 2024Updated last year
- Compute pop-up menus from text and overlay properties☆11Jul 28, 2015Updated 10 years ago
- Docker: Alpine Linux and Wekan <=> MongoDB☆10Mar 27, 2025Updated 10 months 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
- Another attempt for visualizing proofs☆12Nov 19, 2024Updated last year
- Binding to CRlibm☆14Jul 25, 2023Updated 2 years ago
- ☆10Feb 25, 2020Updated 5 years ago
- Export your Bookmarked Tweets with Flask☆12Sep 29, 2022Updated 3 years ago
- Folds captured output sections in Travis CI build log☆13Dec 13, 2022Updated 3 years ago
- Doom Emacs config works with LSP in Devcontainer☆20Oct 19, 2024Updated last year
- Multinomials for the Mathematical Components library.☆16Nov 7, 2025Updated 3 months ago
- An interval library for OCaml☆16Dec 9, 2022Updated 3 years ago
- Use GVfs as a backend for docker volume☆14Apr 21, 2018Updated 7 years ago
- Browser extension to check and uptate archival of repositories in Software Heritage☆19Jan 6, 2024Updated 2 years ago
- List of awesome university courses for learning Computer Science!☆15Jan 12, 2015Updated 11 years ago
- A Kotlin multi-platform library providing some functional programming idioms and user defined effects.☆15Jan 5, 2024Updated 2 years ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆15Updated this week
- ocamldoc comment syntax parser☆20Apr 30, 2020Updated 5 years ago
- an ocaml package to generate ULIDs☆18Jan 2, 2019Updated 7 years ago
- Micromega tactics for Mathematical Components☆28Dec 9, 2025Updated 2 months ago
- Elisp library for the DeepL API☆15Jan 1, 2026Updated last month
- Send a mail in OCaml☆17Jun 5, 2020Updated 5 years ago
- Co-operative allocation of domains for OCaml☆14Jan 26, 2023Updated 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
- Bootstrap scripts to build standalone OPAM projects☆15Nov 9, 2017Updated 8 years ago
- Remake, a build system that bridges the gap between make and redo☆29Jul 25, 2025Updated 6 months ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Mar 23, 2025Updated 10 months ago
- coinduction library for Coq☆24Nov 14, 2025Updated 3 months 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 last month
- Web server for IOCaml☆23Jun 24, 2017Updated 8 years ago
- Raw bindings to platform APIs for OCaml☆16Mar 18, 2024Updated last year
- Convert a cmi file back to an mli interface☆18Jan 18, 2015Updated 11 years ago
- Reactive signals for OCaml.☆18Sep 12, 2024Updated last year
- Authentication framework for OCaml Dream web-framework☆17Apr 20, 2022Updated 3 years ago
- Justification diagrams made easier!☆22Jan 18, 2026Updated 3 weeks ago