ion

All web apps in the Catalogue

Praxis Ide

by toblotron · io.github.toblotron.praxis-ide

Not TrustedWeb appUnrated★ 249 stars

An online IDE for visual programming in Prolog

Screenshots

  • An image of a Praxis example
    An image of a Praxis example

About

Server component will be added as an optional feature in the future (for example, allow users to log in and store their models online, for easy sharing and integration/ publishing), but I will strive to maintain the advantage of having a system that is useful also without any specific server running. Praxis uses Tau-Prolog to allow you to run/ test models in the browser. A Praxis "model" is the same as the entire project - it's what we will load, save and edit with the Praxis IDE. Praxis Ide is the open-source project toblotron/praxis-ide (https://github.com/toblotron/praxis-ide) by toblotron, released under MIT. Ion packages it unmodified from commit b4f732c28f02, adding only a manifest, an icon and a storage compatibility script.

Source

Written by toblotron, published to Oikou by Ben Grande.

  • ★ 249 stars on GitHub
  • Licence: MIT
  • Upstream version v0.1.0
  • Built from commit b4f732c28f02

View the repository on GitHub

Age rating

Not rated. Nobody has said who this app is suitable for, so Personal Clouds and the Oikou app treat it as 18+.

What version 0.1.0 may do

Internet

It asks to reach these hosts, and no others:

  • bossanova.uk
  • jsuites.net
  • raw.githubusercontent.com
  • cdnjs.cloudflare.com
  • code.jquery.com
  • toblotron.com

Personal Cloud tools

  • Keep a database of its own on your Personal Cloud ion.db

Notifications

It does not send push notifications.

Storage

Up to 16 MB on your Personal Cloud.

Add to Personal Cloud

Sign in to add this web app to a Personal Cloud of yours. It runs there, on your own computer, and you open it from there; nothing is installed on your phone.

Sign in to add

Versions

0.1.0 Latest Shown above

Published · a ready-built bundle

Imported from toblotron/praxis-ide at b4f732c28f02 (v0.1.0).

Report this app