Search results

Add VM benchmarks

Status: Open.

#562 In microsoft/regorus;

· anakrish opened on Jan 29, 2026

Update regorus example to show both memory and execution limits

Status: Open.

#560 In microsoft/regorus;

· anakrish opened on Jan 29, 2026

[ci]: Enable xtask in codeql csharp workflow

ci

Status: Open.

#545 In microsoft/regorus;

· anakrish opened on Jan 17, 2026

intermittent failure in wasm tests

bindingUse Regorus from other languages and environmentsUse Regorus from other languages and environments

bugSomething isn't workingSomething isn't working

ci

Status: Open.

#340 In microsoft/regorus;

· anakrish opened on Nov 4, 2024

Enable miri testing in CI

ci

Status: Open.

#243 In microsoft/regorus;

· anakrish opened on May 18, 2024

Revisit big float support

enhancementNew feature or requestNew feature or request

Status: Open.

#202 In microsoft/regorus;

· anakrish opened on Apr 10, 2024

Complete top-down evaluation implementation

enhancementNew feature or requestNew feature or request

feature

Status: Open.

#178 In microsoft/regorus;

· anakrish opened on Mar 11, 2024

Create and publish github-pages. Host regorus-playground in github pages.

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#167 In microsoft/regorus;

· anakrish opened on Feb 29, 2024

Design a Logo for Regorus

fun

Status: Open.

#166 In microsoft/regorus;

· anakrish opened on Feb 29, 2024

Avoid use of anyhow

dependenciesPull requests that update a dependency filePull requests that update a dependency file

enhancementNew feature or requestNew feature or request

Status: Open.

#161 In microsoft/regorus;

· anakrish opened on Feb 23, 2024

[feature] Rego debugger

feature

Status: Open.

#150 In microsoft/regorus;

· anakrish opened on Feb 21, 2024

[Lib] Implement strings.render_template

help wantedExtra attention is neededExtra attention is needed

libLibrary functionLibrary function

Status: Open.

#99 In microsoft/regorus;

· anakrish opened on Jan 5, 2024