Topic: "editor"
coq/vscoq
Visual Studio Code extension for Coq
Language: OCaml - Size: 78.7 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 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
Language: TypeScript - Size: 6.92 MB - Last synced at: 7 days ago - Pushed at: 8 months ago - Stars: 8 - Forks: 2
