GitHub topics: editor
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: about 3 hours ago - Pushed at: 12 months ago - Stars: 10 - Forks: 2
coq/vscoq
Visual Studio Code extension for Coq
Language: OCaml - Size: 78.7 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 370 - Forks: 74
