Search results

Add a discoverable <code>juvix completions</code> command for shell completions

enhancementNew feature or requestNew feature or request

pending-review

Status: Open.

#3425 In anoma/juvix;

· janmasrovira opened on Jun 4, 2025

Foreign Function Interface

anoma

enhancementNew feature or requestNew feature or request

ffi

Status: Draft (not ready).

anoma/juvixnumber 3420

#3420 In anoma/juvix;

· lukaszcz opened on May 27, 2025

· 

0.6.11

Foreign Function Interface

anoma

enhancementNew feature or requestNew feature or request

ffi

pending-review

Status: Open.

Feature

#3418 In anoma/juvix;

· lukaszcz opened on May 23, 2025

· 

0.6.11

Support builtin <code>natToString</code> in the nockma backend

backend:nockma

enhancementNew feature or requestNew feature or request

nock

pending-review

Status: Open.

#3413 In anoma/juvix;

· janmasrovira opened on May 20, 2025

Automation of AnomaLib indices

enhancementNew feature or requestNew feature or request

pending-review

Status: Open.

#3401 In anoma/juvix;

· janmasrovira opened on Apr 25, 2025

The <code>filterUnreachable</code> in <code>Tree</code> and further down the pipeline should also filter out unreachable types

enhancementNew feature or requestNew feature or request

juvix-tree

pending-review

Status: Open.

#3340 In anoma/juvix;

· lukaszcz opened on Feb 20, 2025

· 

0.6.11

Importing an inductive type should by default also import the associated module

enhancementNew feature or requestNew feature or request

modules

pending-review

Status: Open.

#3339 In anoma/juvix;

· lukaszcz opened on Feb 20, 2025

· 

0.6.11

Force unique package

discussion

enhancementNew feature or requestNew feature or request

package-manager

Status: Open.

#3331 In anoma/juvix;

· janmasrovira opened on Feb 13, 2025

Support private inputs in the RISC0 backend

enhancementNew feature or requestNew feature or request

risc0-backend

Status: Open.

Feature

#3323 In anoma/juvix;

· lukaszcz opened on Feb 10, 2025

· 

0.6.11

add linux-aarch64 releases

enhancementNew feature or requestNew feature or request

pending-review

Status: Open.

#3316 In anoma/juvix;

· tg-x opened on Feb 3, 2025

Improve JuvixCore REPL

coreRelated to JuvixCoreRelated to JuvixCore

enhancementNew feature or requestNew feature or request

pending-review

repl

Status: Open.

Feature

#3302 In anoma/juvix;

· lukaszcz opened on Jan 30, 2025

· 

0.6.11

Validation phase for JuvixCore

coreRelated to JuvixCoreRelated to JuvixCore

enhancementNew feature or requestNew feature or request

error-messaging

pending-review

Status: Open.

Feature

#3301 In anoma/juvix;

· lukaszcz opened on Jan 30, 2025

· 

0.6.11