javardise

Code editor

A research prototype that provides a structured code editor for a mini-Java language, enforcing well-formed and grammatically correct code.

GitHub

6 stars
2 watching
0 forks
Language: Kotlin
last commit: 7 months ago

Related projects:

Repository Description Stars
kneasle/sapling An experimental editor that directly edits syntax trees to speed up moment-to-moment code editing. 728
editor-js/code A code editing tool integrated into the Editor.js framework. 76
rajatxs/editor-js-code Custom plugin for Editor.js to display code snippets with language selection and configuration options. 0
paraswaykole/editor-js-code A tool for integrating code examples with language selectors in Editor.js 9
editor-js/inline-code Tool for marking and formatting code in a rich text editor 49
chrispsn/mesh A JavaScript code editor with spreadsheet-like interface for rapid development and testing of JavaScript code 1,567
brackets-cont/brackets An open-source code editor for the web that aims to simplify coding with features like Quick Edit and Live Preview. 1,368
hsnfirdaus/ace-code-editorjs An EditorJS block for using ACE code editor with language selection. 6
ngstack/code-editor Provides a code editor component built on top of the Monaco editor, suitable for Angular applications. 126
tehwalris/forest An editor for editing and structuring code in a way that allows for multiple cursor positions to be manipulated simultaneously 57
alexiej/editorjs-codemirror A code editor plugin for a rich-text editor framework 19
amrdeveloper/codeview An Android library providing a code editor component with features such as syntax highlighting, autocomplete, auto-indentation, and snippets. 384
gregoor/tofu An experimental extension for structured-yet-fluid code writing with JavaScript and TypeScript 101
johndtill/forscape A language and editor for scientific computation with an emphasis on matrices. 178
cbrewster/brewcode A basic text editor written in Rust. 19