Pinned Repositories
CoMe
ConceptsAsModalitiesDL
A Description Logics extension
PSOA-Prova-Demo
Demo for PSOA Prova with Succession to a Royal Family
PSOATransRunComponents
Components of PSOATransRun system
RpiSoft-UART
A Raspberry Pi / BCM2835 Software-based UART Linux device driver
sudoku-dimacs-creator
small code snippet to crreate a dimacs file for a sudoku solver
tests-for-PSOATransRun-targeting-Prova
(automatic) tests for PSOATransRun targeting Prova that are already working
textAngular
A radically powerful Text-Editor/Wysiwyg editor for Angular.js! Create multiple editor instances, two-way-bind HTML content, watch editors for changes and more!
TPTPSyntax2ANTLR
textAngular
A radically powerful Text-Editor/Wysiwyg editor for Angular.js! Create multiple editor instances, two-way-bind HTML content, watch editors for changes and more!
grlks's Repositories
grlks/CoMe
grlks/ConceptsAsModalitiesDL
A Description Logics extension
grlks/PSOA-Prova-Demo
Demo for PSOA Prova with Succession to a Royal Family
grlks/PSOATransRunComponents
Components of PSOATransRun system
grlks/RpiSoft-UART
A Raspberry Pi / BCM2835 Software-based UART Linux device driver
grlks/sudoku-dimacs-creator
small code snippet to crreate a dimacs file for a sudoku solver
grlks/tests-for-PSOATransRun-targeting-Prova
(automatic) tests for PSOATransRun targeting Prova that are already working
grlks/textAngular
A radically powerful Text-Editor/Wysiwyg editor for Angular.js! Create multiple editor instances, two-way-bind HTML content, watch editors for changes and more!
grlks/TPTPSyntax2ANTLR