List view

Review resource machine w/engineering, figure out what changes are needed

Status: Open.

#139 In anoma/nspec;

· cwgoes opened on Sep 8, 2024

Specify post ordering execution for TransactionCandidate

engine-definition

juvix-related

Status: Open.

#158 In anoma/nspec;

· degregat opened on Sep 16, 2024

Specify everything needed to unblock engineering for devnet 0.1

Status: Open.

#159 In anoma/nspec;

· degregat opened on Sep 16, 2024

Some LaTeX code/equations don't render

documentationImprovements or additions to documentationImprovements or additions to documentation

maintenance

markdown-related

Status: Open.

#174 In anoma/nspec;

· jonaprieto opened on Sep 30, 2024

Basic distributed indexing with custom projection functions

ordering-component

Status: Open.

#184 In anoma/nspec;

· degregat opened on Oct 15, 2024

Basic distributed content-addressed (blob) storage

network-architecture

Status: Open.

#185 In anoma/nspec;

· degregat opened on Oct 15, 2024

Basic distributed publish/subscribe with custom filters

network-architecture

Status: Open.

#186 In anoma/nspec;

· degregat opened on Oct 15, 2024

Markup for convenient inline glossary entries

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

priority:low

tooling

Status: Open.

#285 In anoma/nspec;

· heindel opened on Dec 12, 2024

snippetting hiccup: probably something wrong with escaping via <code>;</code> (semicolon)

bugSomething isn't workingSomething isn't working

mkdocs-juvix

python-dev

Status: Open.

#279 In anoma/nspec;

· heindel opened on Dec 9, 2024

Add Juvix definition of the RM v2 general interface

documentationImprovements or additions to documentationImprovements or additions to documentation

juvix-related

resource-machine

Status: Open.

#161 In anoma/nspec;

· heueristik opened on Sep 18, 2024

Follow Juvix Coding style guidelines

enhancementNew feature or requestNew feature or request

juvix-related

Status: Open.

#199 In anoma/nspec;

· jonaprieto opened on Oct 25, 2024

Refactor the identity architecture Juvix code

juvix-related

maintenance

Status: Open.

#204 In anoma/nspec;

· heueristik opened on Oct 30, 2024

Update RM specs with types

documentationImprovements or additions to documentationImprovements or additions to documentation

integration-pr

priority:high

refactor

resource-machine

Status: Draft (not ready).

anoma/nspecnumber 289

#289 In anoma/nspec;

· jonaprieto opened on Dec 18, 2024