https://github.com/toblotron/praxis-ide
Skip to content Toggle navigation
Sign up
* Product
+
Actions
Automate any workflow
+
Packages
Host and manage packages
+
Security
Find and fix vulnerabilities
+
Codespaces
Instant dev environments
+
Copilot
Write better code with AI
+
Code review
Manage code changes
+
Issues
Plan and track work
+
Discussions
Collaborate outside of code
+ Explore
+ All features
+ Documentation
+ GitHub Skills
+ Blog
* Solutions
+ For
+ Enterprise
+ Teams
+ Startups
+ Education
+ By Solution
+ CI/CD & Automation
+ DevOps
+ DevSecOps
+ Case Studies
+ Customer Stories
+ Resources
* Open Source
+
GitHub Sponsors
Fund open source developers
+
The ReadME Project
GitHub community articles
+ Repositories
+ Topics
+ Trending
+ Collections
* Pricing
[ ]
*
#
In this repository All GitHub |
Jump to |
* No suggested jump to results
*
#
In this repository All GitHub |
Jump to |
*
#
In this user All GitHub |
Jump to |
*
#
In this repository All GitHub |
Jump to |
Sign in
Sign up
{{ message }}
toblotron / praxis-ide Public
* Notifications
* Fork 0
* Star 39
An online IDE for visual programming in Prolog
License
MIT license
39 stars 0 forks
Star
Notifications
* Code
* Issues 2
* Pull requests 0
* Discussions
* Actions
* Projects 0
* Security
* Insights
More
* Code
* Issues
* Pull requests
* Discussions
* Actions
* Projects
* Security
* Insights
toblotron/praxis-ide
This commit does not belong to any branch on this repository, and may
belong to a fork outside of the repository.
main
Switch branches/tags
[ ]
Branches Tags
Could not load branches
Nothing to show
{{ refName }} default View all branches
Could not load tags
Nothing to show
{{ refName }} default
View all tags
Name already in use
A tag already exists with the provided branch name. Many Git commands
accept both tag and branch names, so creating this branch may cause
unexpected behavior. Are you sure you want to create this branch?
Cancel Create
1 branch 0 tags
Code
* Local
* Codespaces
*
Clone
HTTPS GitHub CLI
[https://github.com/t]
Use Git or checkout with SVN using the web URL.
[gh repo clone toblot]
Work fast with our official CLI. Learn more.
* Open with GitHub Desktop
* Download ZIP
Sign In Required
Please sign in to use Codespaces.
Launching GitHub Desktop
If nothing happens, download GitHub Desktop and try again.
Launching GitHub Desktop
If nothing happens, download GitHub Desktop and try again.
Launching Xcode
If nothing happens, download Xcode and try again.
Launching Visual Studio Code
Your codespace will open once ready.
There was a problem preparing your codespace, please try again.
Latest commit
@toblotron
toblotron Added image to the readme.md file
...
9d4cbf3 Jan 9, 2023
Added image to the readme.md file
9d4cbf3
Git stats
* 9 commits
Files
Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
app
initial commit in new (cleaned up) repo
Jan 6, 2023
css
initial commit in new (cleaned up) repo
Jan 6, 2023
gfx
initial commit in new (cleaned up) repo
Jan 6, 2023
lib
initial commit in new (cleaned up) repo
Jan 6, 2023
LICENSE
Initial commit
Jan 5, 2023
README.md
Added image to the readme.md file
Jan 9, 2023
index.html
initial commit in new (cleaned up) repo
Jan 6, 2023
View code
About Current state You can Goals for next version (0.2.0) Praxis
website Installation Contributions
README.md
About
Praxis is/ strives to become, an online IDE for visual programming in
Prolog. It is (currently) a 100% in-browser application, meaning that
there is no component running on any server. -You can just download
the repo and run it from your local file system, without any
build-steps or other preparations.
Server component will be added as 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.
An image of a Praxis example
Released under the MIT license.
Current state
Version 0.1.0 is available to run here, in your browser: https://
toblotron.com/praxis/0.1.0/
You can
* Create models, and store them locally on your on machine.
* Draw rules (using shapes representing different Prolog
statements)
* Edit tabular data in Excel-like pages.
* Run / ask questions to your model, directly in the browser.
* import libraries (WIP) from URL's, and use the (Tau-Prolog) code
therein.
Goals for next version (0.2.0)
* Introduction of pratt-parser, and generation of an intermediate
Abstract Syntax Tree before code generation, allowing better
control over parsing and generation of error-messages.
* Handling schema-defined types, (editing, importing from schema,
using specialized shapes to process structured data) allowing
handy integration of your logic models through (for example) a
REST-service interface.
* Creating developer documentation, for easier understanding of
what the system is and how the different parts work together.
Documentation is kind of a thing of mine, so I am ambitious about
this.
Praxis website
Praxis is hosted on https://toblotron.com/praxis/0.1.0/ - right now
it contains only the web-app and a blog (https://toblotron.com/blog/)
where interesting developments are sometimes announced.
Installation
You do not need to install the Praxis IDE - either run it in the
browser, or download this repo and run it from you local machine.
It's that simple.
Contributions
Contributions are very welcome - in fact, version 0.1.0 has been
developed with the goal of attracting other interested parties in
mind. This is too big to be a feasible single-developer project.
This is a reason that creating developer documentation has a high
priority.
Not only coders need apply - I would love to hear what ideas others
have about Praxis; possible feature, how things could work/ look,
integrations, etc.
PS: I am kind of new to both GitHub and the Javascript world - I am
aware it is very likely that there are better ways of doing things,
and suggestions are very welcome :)
About
An online IDE for visual programming in Prolog
Resources
Readme
License
MIT license
Stars
39 stars
Watchers
2 watching
Forks
0 forks
Releases
No releases published
Packages 0
No packages published
Languages
* JavaScript 91.7%
* CSS 6.4%
* Less 1.6%
* Other 0.3%
Footer
(c) 2023 GitHub, Inc.
Footer navigation
* Terms
* Privacy
* Security
* Status
* Docs
* Contact GitHub
* Pricing
* API
* Training
* Blog
* About
You can't perform that action at this time.
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.