Compilers
cedar-policy
4.9.1 StableCedar is a language for defining permissions as policies, which describe who should have access to what.
cedar-policy-formatter
4.9.1 StablePolicy formatter for the Cedar Policy Language.
jaq-core
3.0.0 StableInterpreter for the jaq language
oxc_data_structures
0.122.0 GrowingA collection of JavaScript tools written in Rust.
apollo-compiler
1.31.1 StableA compiler for the GraphQL query language.
snarkvm
4.6.0 StableA decentralized virtual machine
miden-mast-package
0.22.0 GrowingPackage containing a compiled Miden MAST artifact with declared dependencies and exports
oxc_estree
0.122.0 GrowingA collection of JavaScript tools written in Rust.
miden-assembly
0.22.0 GrowingMiden VM assembly language
hugr
0.26.1 GrowingQuantinuum's Hierarchical Unified Graph Representation
oxc_ast_visit
0.122.0 GrowingA collection of JavaScript tools written in Rust.
vrl
0.31.0 GrowingVector Remap Language
cedar-policy-core
4.9.1 StableCore implementation of the Cedar policy language
leo-span
3.5.0 StableSpan handling for the Leo programming language
leo-parser
3.5.0 StableTranslating from the lossless syntax tree to the AST for the Leo language language
snarkvm-synthesizer-snark
4.6.0 StableSNARK wrappers for a decentralized virtual machine
snarkvm-utilities
4.6.0 StableUtilities for a decentralized virtual machine
oxc_span
0.122.0 GrowingA collection of JavaScript tools written in Rust.
oxc_syntax
0.122.0 GrowingA collection of JavaScript tools written in Rust.
oxc_ast_macros
0.122.0 GrowingA collection of JavaScript tools written in Rust.
codespan
0.13.1 GrowingData structures for tracking locations in source code
cedar-policy-validator
4.4.2 StableValidator for the Cedar Policy language.
leo-errors
3.5.0 StableErrors for the Leo programming language
leo-ast
3.5.0 StableAbstract syntax tree (AST) for the Leo programming language
snarkvm-circuit
4.6.0 StableCircuits for a decentralized virtual machine
snarkvm-ledger-narwhal
4.6.0 StableData structures for a Narwhal-style memory pool in a decentralized virtual machine
snarkvm-curves
4.6.0 StableCurves for a decentralized virtual machine
snarkvm-fields
4.6.0 StableFields for a decentralized virtual machine
oxc_regular_expression
0.122.0 GrowingA collection of JavaScript tools written in Rust.
oxc_diagnostics
0.122.0 GrowingA collection of JavaScript tools written in Rust.
oxc_allocator
0.122.0 GrowingA collection of JavaScript tools written in Rust.
codespan-reporting
0.13.1 GrowingBeautiful diagnostic reporting for text-based programming languages
cxxbridge-flags
1.0.194 StableCompiler configuration of the `cxx` crate (implementation detail)
leo-test-framework
3.5.0 StableThe testing framework for the Leo programming language
leo-compiler
3.5.0 StableCompiler for Leo programming language
snarkvm-ledger-narwhal-batch-certificate
4.6.0 StableA batch certificate for a Narwhal-style memory pool in a decentralized virtual machine
snarkvm-ledger-narwhal-transmission-id
4.6.0 StableA transmission ID for a Narwhal-style memory pool in a decentralized virtual machine
snarkvm-ledger-authority
4.6.0 StableData structures for a block authority in a decentralized virtual machine
snarkvm-ledger-narwhal-batch-header
4.6.0 StableA batch header for a Narwhal-style memory pool in a decentralized virtual machine
midenc-hir-type
0.5.3 GrowingType system and utilities for Miden HIR
oxc
0.122.0 GrowingA collection of JavaScript tools written in Rust.
oxc_cfg
0.122.0 GrowingA collection of JavaScript tools written in Rust.
oxc_ecmascript
0.122.0 GrowingA collection of JavaScript tools written in Rust.
oxc_codegen
0.122.0 GrowingA collection of JavaScript tools written in Rust.
oxc_semantic
0.122.0 GrowingA collection of JavaScript tools written in Rust.
midenc-dialect-arith
0.7.1 ExperimentalMiden IR Arithmetic Dialect
midenc-dialect-cf
0.7.1 ExperimentalMiden IR Control Flow Dialect
cedar-policy-cli
4.9.1 StableCLI interface for the Cedar Policy language.
roto-macros
0.10.0 Growinga statically-typed, compiled, embedded scripting language
leo-package
3.5.0 StablePackage parser for the Leo programming language