List view

Implement global project directory locking

CLI

dev-tools

enhancementNew feature or requestNew feature or request

Status: Open.

#3166 In anoma/juvix;

· lukaszcz opened on Nov 11, 2024

<code>juvix format</code> removes stuff from markdown files

bug

pending-review

Status: Open.

#3098 In anoma/juvix;

· lukaszcz opened on Oct 10, 2024

Case expressions at the root of a definition should contribute to termination

enhancementNew feature or requestNew feature or request

termination

Status: Open.

#3060 In anoma/juvix;

· janmasrovira opened on Sep 25, 2024

Juvix testing framework

dev-tools

discussion

enhancementNew feature or requestNew feature or request

Status: Open.

#3033 In anoma/juvix;

· lukaszcz opened on Sep 13, 2024

Preserve locations in type checking

bug

error-messaging

hard-to-implement

typechecking

Status: Open.

#2996 In anoma/juvix;

· lukaszcz opened on Sep 5, 2024

Normalization of case expressions matching on types not implemented

bug

enhancementNew feature or requestNew feature or request

typechecking

Status: Open.

#2987 In anoma/juvix;

· lukaszcz opened on Sep 2, 2024

Allow side conditions in function clauses and lambda clauses

enhancementNew feature or requestNew feature or request

pattern-matching

syntax

Status: Open.

#2983 In anoma/juvix;

· lukaszcz opened on Aug 30, 2024

Simplify <code>juvix html</code>

CLI

html

refactor

Status: Open.

#2919 In anoma/juvix;

· janmasrovira opened on Jul 29, 2024

Add unused argument warning

enhancementNew feature or requestNew feature or request

error-messaging

scoping

Status: Open.

#2913 In anoma/juvix;

· janmasrovira opened on Jul 22, 2024

Update ormolu

dev-tools

enhancementNew feature or requestNew feature or request

Status: Open.

#2831 In anoma/juvix;

· janmasrovira opened on Jun 17, 2024

Cairo: bit operations on field elements

cairo

enhancementNew feature or requestNew feature or request

Status: Open.

#2826 In anoma/juvix;

· lukaszcz opened on Jun 12, 2024

Errors happening in imported files are reported in the wrong location

bug

error-messaging

hard-to-implement

Status: Open.

#2820 In anoma/juvix;

· janmasrovira opened on Jun 8, 2024

Add more thorough tests for highlighting not involving smoke

enhancementNew feature or requestNew feature or request

pending-review

test-suite

Status: Open.

#3236 In anoma/juvix;

· janmasrovira opened on Dec 5, 2024

Cairo: Use the <code>Alloc</code> hint for memory allocation

cairo

enhancementNew feature or requestNew feature or request

optimization

Status: Open.

#2721 In anoma/juvix;

· lukaszcz opened on Apr 11, 2024

Integer arithmetic in Cairo

cairo

enhancementNew feature or requestNew feature or request

Status: Open.

#2684 In anoma/juvix;

· lukaszcz opened on Mar 9, 2024

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

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

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

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

REPL reloads all modules from all packages on every evaluation

bug

repl

Status: Open.

Bug

#3372 In anoma/juvix;

· lukaszcz opened on Mar 21, 2025

Clicking Stdlib.Prelude on the Juvix exercises in "Functional Programming with Juvix" goes to 404

bug

documentationImprovements or additions to documentationImprovements or additions to documentation

pending-review

Status: Open.

Bug

#3374 In anoma/juvix;

· neocybereth opened on Mar 24, 2025

Allow type annotations (almost) everywhere

Status: Open.

#1636 In anoma/juvix;

· jonaprieto opened on Nov 22, 2022

Local types

enhancementNew feature or requestNew feature or request

syntax

Status: Open.

#1660 In anoma/juvix;

· janmasrovira opened on Dec 9, 2022

Functions with clauses with differing number of patterns type-check but are not correctly compiled

bug

internal-to-core

language

typechecking

Status: Open.

#1706 In anoma/juvix;

· lukaszcz opened on Jan 9, 2023

The generated HTML file should have a link to download the raw source file

dev-tools

enhancementNew feature or requestNew feature or request

html

Status: Open.

#1722 In anoma/juvix;

· lukaszcz opened on Jan 12, 2023