verso
Here are 11 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
May 22, 2026 - Python
Aplicación movil construida en Python y Kivy Framework. Asistente para la escritura de poemas.
-
Updated
Sep 23, 2020 - Python
SubVerso fork: token classification data (const type/function split, bracket nesting depth) for the eric-vergo Verso blueprint stack
-
Updated
Aug 25, 2026 - Lean
Verso fork: offline/self-contained rendering (self-hosted marked, zero CDN), themeable light/dark core tokens, VSCode-faithful Lean highlighting, figure numbering — base of the eric-vergo blueprint stack
-
Updated
Aug 25, 2026 - Lean
Fall 2026 NYU course website for Computer-Assisted Formalization of Mathematics
-
Updated
Aug 31, 2026 - Lean
Verso blueprint genre fork: per-node pages, dependency graph + dashboard, project-management hub, claim-first comparator/trust page, offline self-contained output, full light/dark theming
-
Updated
Aug 29, 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."