verso
Here are 10 public repositories matching this topic...
Análise métrico de texto en verso en lingua galega (Galician language) gl-ES
-
Updated
May 31, 2026 - OCaml
🔍 Trusted Search: A verified resource tool that filters results specifically from .gov, .edu, .org, and .ac.uk domains to ensure academic reliability. ✍️ Verso Editor: A smart writing assistant that analyzes grammar and punctuation. It features a "Smart Question Detection" system to ensure sentences starting with words like "What" or "How" are co
-
Updated
Sep 8, 2026 - Python
Fall 2026 NYU course website for Computer-Assisted Formalization of Mathematics
-
Updated
Sep 9, 2026 - Lean
Aplicación movil construida en Python y Kivy Framework. Asistente para la escritura de poemas.
-
Updated
Sep 23, 2020 - Python
Community continuation of Verso — experimental Servo browser (Windows focus)
-
Updated
Sep 7, 2026 - Rust
Lean-aware publishing framework built on Verso
-
Updated
Sep 9, 2026 - Lean
Add this topic to your repo
To associate your repository with the verso topic, visit your repo's landing page and select "manage topics."