All issues

Search results

[feature]editor support vim mode

Status: Open.

#205 In radian-software/riju;

· liaohui5 opened on Sep 29, 2024

Add jShell for java REPL

Status: Open.

#192 In radian-software/riju;

· CC007 opened on Jan 14, 2024

Difficulties in setting up local environment on Windows 11

Status: Open.

#188 In radian-software/riju;

· phamduylong opened on Nov 27, 2023

Add support for Coq, Lean, and Isabelle/HOL

Status: Open.

#186 In radian-software/riju;

· tjf801 opened on Nov 22, 2023

Support passing the code as a query param in the URL

Status: Open.

#182 In radian-software/riju;

· PIG208 opened on Oct 2, 2023

Resource Limiting

Status: Open.

#176 In radian-software/riju;

· elijahrode opened on Feb 11, 2023

Error: non-Riju base image 'ubuntu:22.04' in Dockerfile for packaging image

Status: Open.

#175 In radian-software/riju;

· alokdeshwal1 opened on Feb 2, 2023

Mobile support

Status: Open.

#174 In radian-software/riju;

· radlotus opened on Jan 5, 2023

FYI: Project status

Status: Open.

#168 In radian-software/riju;

· raxod502 opened on Nov 12, 2022

Adding debugger for languages?

Status: Open.

#167 In radian-software/riju;

· RahulBadenkal opened on Nov 11, 2022

Cannot run Elm

Status: Open.

#165 In radian-software/riju;

· thdoan opened on Oct 3, 2022

REPL output sometimes cuts off/drops early

Status: Open.

#164 In radian-software/riju;

· kwshi opened on Sep 29, 2022