riju

riju copied to clipboard

For you who don't know, "qalb" (https://riju.codes/qalb) is a programming language based on Arabic, which goes from right to left, rather than from left to right. The left side ("IDE")...

yahyaabdulmohsin

CC007

Difficulties in setting up local environment on Windows 11

3

Hi :smile: Been having a hard time to get the project to run on my local machine. Some issues I found: 1. Running bash scripts on Windows Running install.sh give...

phamduylong

Save code locally in browser session

6

It would be nice if when you refreshed the page, your code didn't disappear, at least within a single browser session. We can do that by just saving the code...

raxod502

Language support meta-issue

21

This issue tracks new languages which could be added to Riju. If your favorite language isn't supported, add a comment below and (provided it meets the [criteria for inclusion](https://github.com/raxod502/riju/blob/master/doc/what-languages.md)) I'll...

raxod502

Mobile support

4

Currently the website is not comfortable to use on mobile due to the body size being too big.

radlotus

Changelog: - Added meta tags for viewport to make bulma responsive classes to work - Added max height for editor in smaller devices to split the screen vertically I was...

phamduylong

Roadmap: Riju architecture improvements

19

Riju has some serious scalability and maintainability problems, and I've been thinking for the last few months about how to address them. For transparency, I created the following roadmap outlining...

raxod502

Given that these are proof assistants that are also full-fledged dependently typed programming languages, I think all three of these languages (and similar ones that I am unaware of) definitely...

tjf801

Support passing the code as a query param in the URL

1

To quickly open the playground with some code, a useful feature would be passing the code text in the URL as a query parameter. Let's say I have some python...

PIG208