Search Results for "editing"
Sort By:
Showing 3 open source projects for "editing"
View related business solutions-
Build unique experiences across SMS, MMS, Facebook Messenger, and WhatsApp – with our unified messaging APIs.
-
Your applications are all built differently, but they all need to perform. NeoLoad simplifies and scales performance testing for everything, from APIs and microservices, to end-to-end application testing through innovative protocol and browser-based capabilities.
-
1
Isabelle/Eclipse
Eclipse integration for Isabelle proof assistant
Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework. Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box. This SourceForge project is used to distribute Isabelle/Eclipse... -
2
This project is a modification of Etherpad to enable collaborative and simultaneus editing of a DokuWiki page. It includes a script which automates the installation of both products. Dokuwiki: © Andreas Gohr Etherpad: © Google Inc
-
3
This application simplifies tracking and editing shell command history for interactive shells such as tcsh and zsh (or any shell that can be made to run a pre-execution alias or command).
- Previous
- You're on page 1
- Next