An ergonomic, mobile-first, Prolog playground!

Overview

Paízo Programmer

Pronounced "Pay-zo Programmer".

https://lf94.github.io/paizo-programmer/

Paizo is a playground for programmers. It's intended to be used for those quite moments in life where you have a few minutes, or when in a heated debate you would do much better with a programmatic reasoner in your pocket.

Features

  • First-class mobile design
  • Offline-only (other than to get the initial application)
  • Zero external requests (uses tau-prolog and sosml for evaluation)
  • Themeable
  • Save to and load from files
  • Designed to balance between context and focus
  • All code inlined for easy web application saving
  • Supports two languages: Prolog and Standard ML

Possible improvements

These are improvements which may eventually make it in. If you're feeling charitable or motivated to do them, I very much encourage it!

  • Animations
  • Toggle dark/light mode
  • Auto-detect environment to load proper Bootstrap UI theme

Running your own instance

Simply open index.html in your web browser.

Development

You must first run npm install.

Make your changes, run npx webpack, and open the new index.html.

Look at design/ for how the application was designed.

You might also like...

TypeScript playground plugin to save on format

TypeScript Playground Plugin TypeScript Playground plugin to save on format Running this plugin Click this link to install or Open up the TypeScript P

Apr 11, 2022

A (very) minimalist creative coding playground. Make animations using only 64 HTML sliders!

Sliderland A (very) minimalist creative coding playground. Make animations using only 64 HTML sliders! Credits The recording feature uses ffmpeg.wasm

Dec 30, 2022

A Next.js playground to test Reanimated bundle size.

React Native Reanimated Tree Shaking Playground Here we can test react-native-reanimated's bundle size. 🎙 Discussion here 🗺 Progress here Instructio

Jun 16, 2022

JS bindings and playground of post-quantum asymmetric ciphers

pqc.js Overview This project provides JS bindings and playground of post-quantum asymmetric cipher compiled to WebAssembly using emscripten with a fal

Oct 30, 2022

Playground for studying design patterns, solid principles, GoF, testing and more with TypeScript

TypeScript design patterns study Playground for studying design patterns, solid principles, GoF, testing and more with TypeScript Index TypeScript des

Dec 9, 2022

A playground project for JavaScript.

A playground project for JavaScript.

Awesome books Screenshot Built With HTML CSS JS Live Demo Awesome books Getting Started To get a local copy up and running: Clone this repository or d

Aug 25, 2022

js move playground by imcoding.online

JS MOVE PLAYGROUND Wrapper move playground by pontem. Only support Browser environment. Demo imcoding.online Install npm i @imcoding.online/js-move-pl

Dec 3, 2022

This is an application that entered the market with a mobile application in real life. We wrote the backend side with node.js and the mobile side with flutter.

HAUSE TAXI API Get Started Must be installed on your computer Git Node Firebase Database Config You should read this easy documentation Firebase-Fires

Nov 4, 2021

Smooth mobile touch slider for Mobile WebApp, HTML5 App, Hybrid App

Smooth mobile touch slider for Mobile WebApp, HTML5 App, Hybrid App

iSlider iSlider is a lightweight, high-performant, no library dependencies cross-platform slide controller. It can help handling most sliding effects,

Nov 25, 2022
Comments
  • Looking for a nice icon!

    Looking for a nice icon!

    It would be nice to have a proper icon for when the web application is saved to the home screen of a phone. Right now I just have a giant "P".

    If you have any design ideas please share!

    opened by lf94 0
Owner
Lee
Smile!
Lee
SWI-Prolog WebAssembly build as a NPM package

swipl-wasm SWI-Prolog WebAssembly build as a NPM package. Please see this page for ongoing progress and information: https://swi-prolog.discourse.grou

Raivo Laanemets 9 Nov 17, 2022
⚡ the first open-source redis client made with care and acessibility-first 🚀

⚡ Redis UI The first open-source project to create an awesome and accessible UI for Redis as a native desktop application. ✨ ?? ?? How to develop loca

Nicolas Lopes Aquino 14 Dec 5, 2022
Next-gen mobile first analytics server (think Mixpanel, Google Analytics) with built-in encryption supporting HTTP2 and gRPC. Node.js, headless, API-only, horizontally scaleable.

Introduction to Awacs Next-gen behavior analysis server (think Mixpanel, Google Analytics) with built-in encryption supporting HTTP2 and gRPC. Node.js

Socketkit 52 Dec 19, 2022
Simple, cli-first, mobile push notification across systems.

Notify.sh Simple, cli-first, mobile push notification across systems. Install In each folder, run npm install. The expected node version is 14. (Highe

David Alen 7 May 20, 2022
A lightweight, scalable, mobile-first CSS framework

Mobi.css A lightweight, scalable, mobile-first CSS framework Homepage Features Lightweight The default bundle of Mobi.css provides the basic styles to

Mobi.css 2.3k Dec 21, 2022
A simple playground to create and test your Katas in Typescript.

Kata Playground TS A simple playground to create and test your Katas in Typescript. A code kata is an exercise in programming which helps programmers

Willian Justen 23 Jan 20, 2022
⚡ Extremely fast online playground for every programming language.

Riju Riju is a very fast online playground for every programming language. In less than a second, you can start playing with a Python interpreter or c

Radon Rosborough 845 Dec 28, 2022
Rollup + React + Babel + Prettier + Strict ESlint and Stylelint + Sass + VSCode + Playground app - Enterprise grade boilerplate

React package boilerplate by HackingBay Rollup + React 17 + Babel + Prettier + Strict ESlint and Stylelint + Sass + VSCode + Playground app - Enterpri

HackingBay 2 Jan 19, 2022
A simple code playground

CodeeBox A simple code playground ?? Features: Instant change preview Saving without accounts or databases, everything's on the URL (Encoded) Resizabl

null 6 Nov 17, 2022
Code Playground is a online application for testing and showcasing user-created and collaborational HTML, CSS and JavaScript code snippets

Code Playground About Code Playground is a online application for testing and showcasing user-created and collaborational HTML, CSS and JavaScript cod

Arshansh Agarwal 5 Dec 17, 2022