You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Current Version | [](https://github.com/DeMaCS-UNICAL/LoIDE/releases/latest)
Tell your friends! | [](https://twitter.com/intent/tweet?text=Wow:&url=%5Bobject%20Object%5D)
35
-
36
-
___ -->
37
-
38
-
39
-
<!-- ## IMPORTANT NOTE
40
-
41
-
<!-- __*LoIDE started as an undergraduate student's work of thesis, and is still at the early stages of development.*__ -->
42
-
43
-
<!-- __*It currently supports only Answer Set Programming; we encourage any feedback, but we do NOT recommend it for production yet.*__ -->
44
-
45
20
<!--
46
21
## Online Demo
47
22
Find a live demo at [loide.demacs.unical.it](https://loide.demacs.unical.it:8433)
@@ -53,122 +28,83 @@ Check the status of our services at https://loide.freshstatus.io
53
28
54
29
55
30
## Purpose
56
-
The main goal of the LoIDE project is the release of a modular and extensible web-IDE for Logic Programming using modern technologies and languages.
57
31
58
-
A further goal of the project is to provide a web-service with a common set of APIs for different logic-based languages.
59
-
Further information can be found in the [Wiki](https://github.com/DeMaCS-UNICAL/LoIDE/wiki/APIs)
32
+
The LoIDE project aims to create a modular and extensible web-based Integrated Development Environment (IDE) for Logic Programming, utilizing modern technologies and languages.
33
+
34
+
The project also aims to develop a web-service offering a standardized set of APIs for various logic-based languages.
35
+
For more details on the API, please refer to the [Wiki](https://github.com/DeMaCS-UNICAL/LoIDE/wiki/API).
60
36
61
37
## Key Features
62
38
63
-
- Syntax highlighting
64
-
- Output highlighting
65
-
- Layout and appearance customization
66
-
- Keyboard shortcuts
67
-
- Multiple file support
68
-
- Execution and Solvers options definition
69
-
- Import and Export files
70
-
71
-
72
-
## Getting Started (Installation and Usage)
73
-
These instructions will get you a copy of the project up and running on your local machine.
74
-
75
-
### Prerequisites
76
-
It only requires [Node.js®](https://nodejs.org)
77
-
78
-
### Download
79
-
You can find the latest version of LoIDE [here](https://github.com/DeMaCS-UNICAL/LoIDE/releases/latest).
80
-
81
-
Otherwise you can clone this repository.
82
-
83
-
Remember that you can always see all the releases of LoIDE [here](https://github.com/DeMaCS-UNICAL/LoIDE/releases).
84
-
85
-
### Install
86
-
Install dependencies:
87
-
```
88
-
npm install
89
-
```
90
-
91
-
Now you can run LoIDE in development or in production mode.
92
-
93
-
### Run in production mode
94
-
In this mode, LoIDE will be optimized for production.
95
-
96
-
Start the server:
97
-
```
98
-
npm start
99
-
```
100
-
101
-
Use _LoIDE_ in a browser at:
102
-
```
103
-
http://localhost:8084
104
-
```
105
-
106
-
If you wish to run _LoIDE_ over HTTPS, you must provide paths to certificate files in the ```app-config.json``` file.
107
-
Then, you can start _LoIDE_ in a browser at:
108
-
```
109
-
http://localhost:8085
110
-
```
111
-
112
-
### Run in development mode
113
-
Run LoIDE in development mode only for development and testing purposes.
114
-
115
-
Start the server:
116
-
```
117
-
npm run start:dev
118
-
```
119
-
120
-
The browser will be opened automatically _LoIDE_ in at:
121
-
```
122
-
http://localhost:7000
123
-
```
124
-
125
-
### Note
126
-
You need an "executor" in order to run the solvers.
127
-
128
-
If you like it, you can use our [EmbASPServerExecutor](https://github.com/DeMaCS-UNICAL/EmbASPServerExecutor).
129
-
130
-
131
-
## Built With
132
-
133
-
-[Ace](https://ace.c9.io) - The "base" of our editor
134
-
-[Bootstrap](https://getbootstrap.com) - The front-end web framework used
135
-
-[Clipboard.js](https://clipboardjs.com) - Used to create text boxes with copyable text
136
-
-[Font Awesome Icons 4.7](https://fontawesome.com/v4.7.0/icons/) - Icon set used
137
-
-[jQuery](https://jquery.com) and [its UI Layout plugin](http://plugins.jquery.com/layout) - Used to improve the UI
138
-
-[jQuery contextMenu 2](https://swisnl.github.io/jQuery-contextMenu/) - Used for to create the context menus
139
-
-[Mousetrap](https://craig.is/killing/mice) - Used to implement keyboard shortcuts outside the editor
140
-
-[Pugjs](https://pugjs.org) - Used to create a dynamic html pages
141
-
-[Socket.io](https://socket.io) - Used for executor server connection
142
-
-[Browsersync](https://www.browsersync.io) - Used to enable the live reload on the browser
143
-
-[Gulp](https://gulpjs.com) - Used to automate and enhance the workflow with its plugins:
144
-
-[gulp-nodemon](https://github.com/JacksonGariety/gulp-nodemon) - Used to monitor for any changes in the source files and automatically restart the server
145
-
-[gulp-babel](https://github.com/babel/gulp-babel#readme) - Used to used to convert ECMAScript 2015+ code into a backwards compatible version of JavaScript
146
-
-[gulp-clean](https://github.com/peter-vilja/gulp-clean) - Used to remove files and folders
147
-
-[gulp-uglify-es](https://gitlab.com/itayronen/gulp-uglify-es) - Used to minify JS files
148
-
-[gulp-autoprefixer](https://github.com/sindresorhus/gulp-autoprefixer#readme) - Used to add CSS prefix
149
-
-[gulp-csso](https://github.com/ben-eb/gulp-csso) - Used to minify CSS files
150
-
-[gulp-imagemin](https://github.com/sindresorhus/gulp-imagemin#readme) - Used to minify PNG, JPEG, GIF and SVG images
151
-
152
-
<!--
39
+
-**Open-source Server/Client**
40
+
- Reference implementations available as Free and Open-Source Software (FOSS).
41
+
-**Interoperable API**
42
+
- Open API based on the _JSON Schema_ standard.
43
+
-**Prototype Executor implementations**
44
+
- Reference implementations of solver executors in various programming languages.
45
+
-**Executor protocol**
46
+
- Standard protocol for executors discovery and invocation.
47
+
-**Responsive design**
48
+
- Works seamlessly across various devices.
49
+
-**Multi-language/solver**
50
+
- Supports multiple logic programming languages and solvers.
51
+
-**Executor instance selection**
52
+
- Pick among different execution environments.
53
+
-**Syntax highlighting**
54
+
- Improved code readability with color-coded syntax.
55
+
-**Multiple files support**
56
+
- Work with and manage multiple files simultaneously.
57
+
-**Output highlighting**
58
+
- Easily identify important information in output results.
59
+
-**Layout/Appearance customization**
60
+
- Tailor the IDE's look to your preference.
61
+
-**Keyboard shortcuts**
62
+
- Boost efficiency with keyboard shortcuts.
63
+
-**Execution/Solver options configuration**
64
+
- Fine-tune settings for specific tasks.
65
+
-**Import/Export functionality**
66
+
- Save and share files and project settings easily.
67
+
68
+
## Components
69
+
70
+
As the LoIDE project has expanded significantly in recent years, we have established separate repositories for each component.
- A Java application to run logic programs with different solvers, using the [EmbASP](https://github.com/DeMaCS-UNICAL/EmbASP) framework
83
+
84
+
<!--
153
85
## Contributing
154
86
155
87
Please read [CONTRIBUTING.md]() for details on our code of conduct, and the process for submitting pull requests to us.
156
88
-->
157
89
158
90
## Versioning
159
-
We use [Semantic Versioning](http://semver.org) for versioning. For the versions available, see the [releases on this repository](https://github.com/DeMaCS-UNICAL/LoIDE/releases).
160
91
92
+
We use [Semantic Versioning](http://semver.org) for versioning.
93
+
Please refer to the [Releases](https://github.com/DeMaCS-UNICAL/LoIDE/releases) for a list of available versions.
161
94
162
95
## Credits
163
-
- Stefano Germano (_Coordinator_)
96
+
97
+
- Stefano Germano (_Scientific Coordinator_)
164
98
- Eliana Palermiti
165
99
- Rocco Palermiti
166
100
- Alexander Karaulshchikov
167
101
- Giorgio Andronico
102
+
- Marco Duca
168
103
- Francesco Calimeri (_Scientific Supervisor_)
169
104
170
-
From the [Department of Mathematics and Computer Science](https://www.mat.unical.it) of the [University of Calabria](http://unical.it)
105
+
From the [Department of Mathematics and Computer Science](https://www.mat.unical.it) of the [University of Calabria](http://unical.it).
171
106
172
107
173
108
## License
174
-
This project is licensed under the [MIT License](LICENSE)
109
+
110
+
This project is licensed under the [MIT License](LICENSE).
0 commit comments