phillord/jdee
The JDEE is an add-on software package that turns Emacs into a comprehensive system for creating, editing, debugging, and documenting Java applications.
A mavenized version of the HermiT DL reasoner
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
The JDEE is an add-on software package that turns Emacs into a comprehensive system for creating, editing, debugging, and documenting Java applications.
A Tutorial for Tawny-OWL library
Exports Org-mode contents to Reveal.js HTML presentation.
Step through historic versions of git controlled file using everyone's favourite editor