Group: GitHub Goalhub SimpleIDE

Sort by:Popular▼

✓Popular✓Newest

1.OSX Adapter3 usages

com.github.goalhub.simpleide » osxadapter GPL

Adapter to catch OSX specific events (ctrl-Q)

Last Release on Sep 17, 2024

2.GOAL SimpleIDE

com.github.goalhub.simpleide » simpleide GPL

An IDE for GOAL based on JEdit.

Last Release on Sep 17, 2024

3.GOAL SimpleIDE

com.github.goalhub.simpleide » simpleidemodules GPL

An IDE for GOAL based on JEdit.

Last Release on Sep 17, 2024