Online Z-notations Editor with Prosemirror and React.js
- z-notations
- formal
- methods
- reactjs
47,133 repositories indexed
409–432 of 569 · Most stars
Online Z-notations Editor with Prosemirror and React.js
Refactor Python imports on file move/rename in Neovim
An open-source file manager for Android: two panes, archives, APK and DEX editing, a code editor, network storages and an encrypted vault. No ads, no accounts, no tracking.
lua code export save to be run on seedsow switch demo exploit
Chemical 2D structure editor application/applet based on the Chemistry Development Kit
A full featured photo editor and raw developer in your browser (Lightroom alternative) 📷
Rich Text Editor for iOS
Open-source image viewer and editor for Linux. View HEIC, AVIF, JPEG XL, RAW previews, and Motion Photos in fullscreen or floating windows.
A native screen recorder and video editor for Mac.
An simple IDE for V made in V.
YiVideoEditor is a library for rotating, cropping, adding layers (watermark) and as well as adding audio (music) to the videos.
GraphiQL middleware for ASP.NET Core
A web-based GTFS editing framework. THIS PROJECT IS DEPRECATED. See https://github.com/ibi-group/datatools-ui for current version.
The Ajax.org Cloud9 Editor (Ace) for the Rails 3.1+ asset pipeline.
DaVinci Full for Windows — the complete professional build with every module enabled: timeline editing, effects, and export, no edition limits after install.
Visual Integration Designer for Apache Camel
Use Neovim as the default code editor for Unity — with .csproj generation, OmniSharp support and LSP-ready workflow.
A playable HTML + CSS + JavaScript remake of a space-based "shoot-'em-up" arcade game for Atari / Commodore 64 from 1982, including a level editor and design tool. Written as a prototype / demo of JavaScript and browser capabilities.
Neovim plugin for Godot 4 with GDScript LSP, GDShader support, C#, DAP debugging, Godot console output, formatting, health checks, static scene tree inspector, and in-editor Godot docs.
An interactive dialogue editor for narrative designers.
A pixel art editor in a Swift Playground 👾 WWDC Scholarship Winner 🏅
A Markdown Text Editor to manually edit a markdown file, with instant preview of the output in a HTML Viewer. A Preview handler which allows you to see the content of the markdown file without open it, in the "Preview Panel", integrated into Windows Explorer.
List editor for power users, backed by a self-hosted server
Build extensible Draft.js editors with configurable plugins and integrated serialization.