Alternatives and similar repositories for ut3_calendar

Users that are interested in ut3_calendar are comparing it to the libraries listed below

• Tim-ats-d / Postem-markup
  Fast and easy notes taking oriented markup language.
  ☆22Updated 3 years ago
• nathan-trioleyre / flush
  Programming language written in Rust.
  ☆12Updated 2 years ago
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated 11 months ago
• Tim-ats-d / Visual-dialog
  A library to make easier dialog box in a terminal.
  ☆12Updated 4 years ago
• felko / sluggo
  Smart shell that can handle mutliple REPLs
  ☆13Updated 9 years ago
• apoleon33 / cradle
  One album per day
  ☆12Updated last year
• nathaniel-carre / MPI-LLG
  Ressources pour la classe de MPI* à Louis-le-Grand
  ☆25Updated last week
• rocq-community / mmaps
  Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]
  ☆11Updated last year
• tarides / ocaml-eglot
  An overlay on Eglot for editing OCaml code using LSP
  ☆55Updated this week
• rocq-prover / bot
  The Rocq Prover bot
  ☆24Updated 3 weeks ago
• Psi-Prod / Mehari
  A cross-platform library for building Gemini servers
  ☆37Updated 4 months ago
• Smallibs / pilin
  A Kotlin multi-platform library providing some functional programming idioms and user defined effects.
  ☆14Updated last year
• zilch-lang / specification
  A complete specification on Zilch and N⋆
  ☆11Updated 2 years ago
• ecranceMERCE / trakt
  A generic goal preprocessing tool for proof automation tactics in Coq
  ☆15Updated last month
• Omega-Numworks / Omega-Robot
  Omega-Bot for Discord, v2!
  ☆12Updated 2 years ago
• damien-pous / coinduction
  coinduction library for Coq
  ☆19Updated last month
• prepas-mp2i / prepas-mp2i.fr
  Présentation des classes préparatoires MP2I et MPI
  ☆47Updated last month
• MisterDA / ocamlwalk
  The caml walks, OCaml runs
  ☆19Updated 2 years ago
• math-comp / mczify
  Micromega tactics for Mathematical Components
  ☆26Updated last month
• javalib-team / javalib
  Javalib is a library to access and manipulate Java class files from OCaml.
  ☆18Updated last year
• Armael / coq-procrastination
  A small Coq library for collecting side conditions and deferring their proof
  ☆25Updated 6 years ago
• divyankachaudhari / ocaml-practice-exercises
  Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform
  ☆10Updated last year
• Syycorax / gofork
  Gofork is a CLI tool to find forks that are ahead of a github repository.
  ☆16Updated last year
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆22Updated last year
• Tim-ats-d / Punchboy
  Drop some lyrics and highlights the rhymes with colors
  ☆13Updated 3 years ago
• Tim-ats-d / Indigobi
  A cute Gemini client written in OCaml
  ☆16Updated 2 years ago
• Armael / pp_loc
  Pretty-printing for error source locations
  ☆36Updated 3 years ago
• Astremy / Piscord
  ☆32Updated 2 years ago
• Psi-Prod / ppx_system
  ppx_system is a syntax extension to known operating system at compile time
  ☆12Updated 2 years ago
• progman1 / genprintlib
  general value printing within compiled programs
  ☆31Updated 5 years ago