axellaffite / ut3_calendarLinks
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.
☆14Updated last month
Alternatives and similar repositories for ut3_calendar
Users that are interested in ut3_calendar are comparing it to the libraries listed below
Sorting:
- Another attempt for visualizing proofs☆12Updated last year
- A script to dynamically change your wallpaper with a travel photo by Richard Stallman.☆12Updated 4 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Updated last year
- Fast and easy notes taking oriented markup language.☆22Updated 3 years ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆15Updated 3 months ago
- Some MP2I and MPI courses☆16Updated 2 years ago
- Javalib is a library to access and manipulate Java class files from OCaml.☆18Updated last year
- coinduction library for Coq☆21Updated last month
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆17Updated last month
- An overlay on Eglot for editing OCaml code using LSP☆60Updated last week
- ppx_system is a syntax extension to known operating system at compile time☆12Updated 2 years ago
- Multinomials for the Mathematical Components library.☆16Updated last month
- The Rocq Prover bot☆24Updated last week
- Print with style in your terminal using Format's semantic tags☆19Updated 2 years ago
- The caml walks, OCaml runs☆19Updated 2 years ago
- A library to make easier dialog box in a terminal.☆12Updated 4 years ago
- A Kotlin multi-platform library providing some functional programming idioms and user defined effects.☆15Updated last year
- Provide a testing environnement (refutable) for OCaml using -ppx☆19Updated 8 years ago
- A cross-platform library for building Gemini servers☆37Updated 3 weeks ago
- An interval library for OCaml☆16Updated 3 years ago
- A powerful keybind library and daemon for Linux.☆11Updated 3 years ago
- A simple text editor written in OCaml☆15Updated 2 years ago
- Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system☆29Updated 3 years ago
- Micromega tactics for Mathematical Components☆28Updated 2 weeks ago
- One album per day☆13Updated last year
- Programming language written in Rust.☆12Updated 2 years ago
- A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…☆42Updated 9 months ago
- A simple multi-format pretty-printer for Menhir.☆60Updated 3 weeks ago
- LP and MIP modeling in OCaml☆29Updated 6 months ago
- Implementation of maps of integers with Patricia trees☆22Updated 5 years ago