Sujet: "editor"
coq/vscoq
Visual Studio Code extension for Coq
langage: OCaml - taille: 78,7 Mo - dernière synchronisation: il y a 2 mois - enregistré: il y a 3 mois - étoiles: 370 - forks: 74
numerique-gouv/blocknote-llm
A proof of concept of what can be done with the BlockNote editor based on ProseMiror and an LLM running in the browser
langage: TypeScript - taille: 6,92 Mo - dernière synchronisation: il y a 2 jours - enregistré: il y a 9 mois - étoiles: 9 - forks: 2
