定义

  1. 粘贴

    提供所有标记粘贴需求的宏

    v1.0.15 6.3M #macro #identifier #pasting #token #compiler #define #no-alloc
  2. wasmtime-asm-macros

    在 Wasmtime 中定义汇编函数的宏

    v24.0.0 358K #wasmtime #macro #assembly #run-time #wasm #functions #define
  3. pyo3-polars

    polars 的表达式插件和 PyO3 类型

    v0.16.1 111K #polars #pyo3 #python #plugin #expression #define #extension
  4. error-code

    错误代码

    v3.2.0 373K #error #wrapper #define #generic #category #user #own
  5. chalk-ir

    Chalk 对类型、目标和子句的内部表示

    v0.98.0 34K #prolog #traits #compiler #define
  6. chalk-solve

    将 chalk-engine 与 chalk-ir 结合

    v0.98.0 34K #compiler #traits #prolog #define
  7. ghost

    定义自己的 PhantomData

    v0.1.17 111K #phantom-data #parameters #define #own #generic #unit #no-alloc
  8. wrpc-interface-http

    wRPC HTTP 接口

    v0.27.0 7.1K #wrpc #http #http-interface #http-request #define #response #wasi-http
  9. datachannel

    libdatachannel 的 Rust 封装

    v0.13.1 190 #web-rtc #p2p #wrapper #webrtc #define
  10. refined_type

    将规则注入到类型中,并提高它们的鲁棒性

    v0.5.5 120 #rule #non-empty #refined #types #string #target #define
  11. nom-recursive

    扩展nom以处理左递归

    v0.5.1 2.2K #nom #recursion #left #handle #extension #parser #define
  12. derive-adhoc

    编写 derive() 宏的便捷方式

    v0.8.4 13K #macro-derive #proc-macro #write #ad-hoc #template #data-structures #define
  13. barkml

    声明性配置语言

    v0.7.0 160 #configuration-language #config-file #declarative #macro #statement #utf-8 #define
  14. bevy_magic_fx

    在序列化文件中定义基于网格的特效

    v0.14.3 360 #vfx #bevy #serialization #texture #ron #define #magic
  15. net-reporter-api

    定义 net-stalker 项目中使用的 API 类型。使用 Amazon Ion 作为序列化格式。

    v0.9.4 2.0K #serialization #api #ion #amazon #net-stalker #types #define
  16. flexiber

    按照 ISO 7816-4 规范进行 BER-TLV 编码和解码,无需分配

    v0.1.1 600 #codec #serialization #cryptography #crypto #no-std #define
  17. isotp-rs

    ISO-TP 特性定义

    v0.1.8-alph0 800 #iso-tp #automotive #traits #define #async #15765-2
  18. gramma

    通过声明类型生成无扫描器的解析器

    v0.2.24 #parser-generator #context-free-grammar #declarative #define #declaring #generate #scannerless
  19. rs_envflag

    通过环境变量定义标志的便捷方式

    v0.4.1 #env-vars #flags #variables #environment #define #envflag #set
  20. wasmtime-versioned-export-macros

    用于在 Wasmtime 中定义版本化导出的宏

    v24.0.0 155K #wasmtime #macro #versioned #exports #wasm #define #versions
  21. cog-rust

    Rust 机器学习容器

    v1.0.14 #machine-learning #cog #container #ml #model #define #json-schema
  22. SurrealDB 迁移器

    SurrealDB 迁移器

    v0.1.8 270 #surrealdb #database-migrations #database #migration #migrator #table #define
  23. kampu

    一个通用的字节序列解析函数,您可以在JSON中定义字节的结构/树,发送一个字节序列,并获取解析输出的JSON

    v0.1.11 800 #byte-array #json #generic #define #parsed #output #send
  24. sha3-rust

    Keccak (SHA-3) 密码学哈希函数系列

    v0.1.1 #sha-3 #hash #keccak #no-alloc #cryptography #byte-slice #define
  25. rstml-component

    Rust的HTML组件库

    v0.2.4 140 #html #html-content #component #generate-html #structs #define #generation
  26. c-enum

    一个宏,用于生成类似C的枚举

    v0.2.3 500 #enums #macro #variant #generate #define #partial-ord #eq
  27. nixci

    在任何地方定义和构建Nix项目的CI

    v1.1.0 240 #nix #build #projects #anywhere #ci #define #nixos
  28. bevy_variable_property

    一种通用的方法来定义属性为静态、随机或随机在间隔上

    v0.1.0 #bevy #properties #component #variables #gamedev #values #define
  29. bluejay-core

    GraphQL的基础抽象

    v0.1.0 #graphql-schema #graphql #abstraction #executable #define
  30. stackfuture

    在调用者提供的空间中存储包装未来包装器周围的future

    v0.3.0 12K #future #async #heap-allocation #futures #emulation #define
  31. string_cache_codegen

    作为Servo项目的一部分开发的string-cache的代码生成库

    v0.5.2 771K #string-interning #servo #cache #codegen #compile-time #string-cache #define
  32. serde_x12

    ASC X12 EDI文档的Serde

    v0.7.2 110 #serde #edi #x12 #document #define
  33. k8s-crds-traefik

    为 Traefik 编写的 Kubernetes CRDs

    v0.7.0 550 #define #kubernetes #traefik #crd #types #generated #automatic
  34. k8s-crds-longhorn

    为 Longhorn 编写的 Kubernetes CRDs

    v0.7.0 500 #longhorn #kubernetes #crd #define #automatic #generated #types
  35. syscall_encode

    帮助定义内核 syscall 接口的特性和宏

    v0.1.11 #syscalls #abi #operating-system #kernel #interface #define #calls
  36. intervalle

    时间范围参数的解析器

    v0.2.1 330 #systemd #parser #cli #date-time #parse-time #define
  37. script

    基本的 http 脚本

    v0.3.1 340 #http-server #routes #proxy-server #scripting #bare-bones #define #json
  38. vf-rs

    从 ValueFlows RDF 模式生成的一组类

    v0.4.0 #economics #rea #valueflows #define
  39. chasa

    一个解析器组合器,具有多个 take 迭代器、条件分支和方法链

    v0.1.13 #parser-combinator #iterator #syntax #branch #chain #define #conditional
  40. actuate

    一个响应式用户界面框架

    v0.3.0-alpha.4 #ui-framework #view #reactive #scope #declarative-ui #define #syntax
  41. cita-crypto-trait

    定义密码学接口

    v0.2.1 320 #interface #traits #cita #crypt #pk #define #cryptography
  42. savefile-abi

    简单易用、稳定、简单的 Rust 库的 ABI。允许创建用 Rust 编写的可动态加载的插件。

    v0.17.7 250 #dylib #dlopen #ffi #define
  43. indexedlinkedhashmap

    一个可索引的 LinkedHashMap。用户定义控制顺序的数据结构。

    v3.0.0 #hash-map #user-defined #data-structures #key-index #define #linkedhash-map
  44. wasmcloud-interface-testing

    测试接口(wasmcloud:testing)

    v0.10.0 #wasmcloud #api-testing #testing #interface #contract #wasmcloud-testing #define
  45. defmac

    一个用于定义内联类似lambda宏的宏

    v0.2.1 6.2K #macro #inline #define #level #variadic #module #lambda-like
  46. farmfe_plugin_define

    定义 farm 插件

    v0.0.11 #plugin #farm #web #build-tool #vite-compatible #define
  47. algorithmify

    创建使用Rust代码定义的算法的规范

    v0.1.1 #syntax-tree #ast #specification #interpreter #representation #define #macro
  48. bevy_kindly

    为Bevy ECS实现最小化的实体种类

    v0.3.3 #bevy-ecs #entity #kinds #minimalist #entities #game-engine #define
  49. esdl

    事件源模式定义语言解析器

    v0.6.0 #event-sourcing #schema-definition #schema #cqrs #codegen #define
  50. petr-bind

    Petr 编译器的绑定阶段

    v0.1.0 #petr #scopes #symbols #compiler #bindings #define #binder
  51. graphql-introspection-query

    GraphQL 反射查询和响应类型

    v0.2.0 482K #graphql #query-response #api #web #define
  52. tartan-bitfield

    定义具有特定位或位范围访问器的结构

    v1.2.0 #bit-field #flags #accessor #range #structures #define #layout
  53. bevy_hanabi_loader

    bevy_hanabi 的包装器,允许您以 RON 格式定义您的 vfx 文件并将其加载到 bevy 中

    v0.14.1 110 #bevy #ron #vfx #define #load #format #loader
  54. twirp-build-rs

    为异步兼容的 Twirp RPC 接口生成代码

    v0.3.0 800 #twirp #rpc #service #build #proto #interface #define
  55. aarch64_define

    aarch64 架构以及一些配置定义

    v0.1.2 #aarch64 #define #aarch64-define #架构以及一些配置定义
  56. net-agent-api

    定义 net-stalker 项目中使用的 API 类型。使用 Amazon Ion 作为序列化格式。

    v0.1.6 380 #ion #api #amazon #net-stalker #define
  57. pi_null

    定义名为 Null 的特性。u8,u32,u64,Option... 实现 Null

    v0.1.11 280 #null #traits #u32 #define #u8 #options #u16
  58. savvy-ffi

    R's C API 的最小 FFI 绑定

    v0.6.5 330 #api #bindings #savvy #set #define #switch #difference
  59. libeyelink-sys

    Rust 对 Linux SR Research Eyelink SDK 的 FFI 绑定

    v0.1.4 #eyelink #bindings #research #define #api-bindings #sdk #string
  60. rust_wheel

    定义一些公共组件的项目

    v0.1.5 #component #define #public #lib #repo #store #import
  61. embedded-resources

    在单个位置定义外围设备使用,以便在各个地方使用

    v0.1.5 360 #peripheral #struct #macro #resources #embedded #define #place
  62. component

    v0.1.1 #component #definition #define
  63. random_password_generator

    生成随机密码,您可以定义密码是否包含字母、数字或特殊字符

    v0.1.0 #random-password #password-generator #numeric #characters #special #define #alphabetical
  64. pod-rs

    用于纯旧数据的标记特性 (POD)

    v0.1.1 #data #pod #old #plain #traits #marker #define
  65. easy-bitfield

    为 Rust 提供易于使用的位字段库

    v0.1.0 #bit-field #bit-fields #value #define #traits
  66. tower-sessions-rorm-store

    rorm 的会话存储实现

    v0.2.0 #session-store #tower-sessions #rorm #model #session-model #rorm-store #define
  67. sql-table

    使 SQL 数据库的无 ORM 查询更加简洁

    v0.1.4 360 #sql-database #sql #proc-macro #database #define
  68. pirates

    async RPC 库

    v0.1.2 #rpc #async #lib #define #server #query #names
  69. polonius

    Rust 借用检查器的核心定义

    v0.3.0 #datalog #compiler #borrowck #define
  70. hecs-component-provider

    使用 hecs ECS 库时,轻松定义组件集的行为

    v0.2.0 #hecs #ecs #component #provider #behavior #sets #define
  71. jss-core

    Json 简化模式核心接口

    v0.2.0 #json-schema #properties #jss #define #interface #node
  72. osm-types

    OSM 元素类型

    v0.1.5 #osm #geojson #map #define
  73. py-ast

    为 pycc-rs 定义拼音 ast 和解析

    v0.0.3 140 #ast #compiler #pinyin #define
  74. bevy_ui_styled

    一个函数,允许您使用类似 tailwindcss 的语法定义 bevy_ui Style 组件

    v0.4.0 #bevy-ui #tailwind #style #component #syntax #class #define
  75. quickerr

    一个宏,用于快速定义错误,类似于 thiserror,但更简洁且更具意见性

    v0.3.2 #error #opinionated #macro #quickly #syntax #define #personal
  76. rend3-types

    rend3 渲染库的类型定义

    v0.3.0 750 #rend3 #renderer #wgpu #3d-graphics #3d #graphics #define
  77. valkyrie-wit

    Valkyrie 语言服务器

    v0.0.2 #language-server #valkyrie #define
  78. arpy

    定义 RPC 签名并使用各种客户端/服务器使用它们

    v0.2.0 #rpc #signatures #define #remote-procedure #server #client-server #web
  79. in_struct

    用于在函数中定义结构的类似属性的过程宏

    v1.0.1 #struct #macro #define #function #procedural #proc-macro
  80. ctaphid-dispatch

    usbd-ctaphid 后的调度层

    v0.1.1 #dispatch #ctaphid #layer #command #usbd-ctaphid #interface #define
  81. npm-package-json

    解析npm的package.json文件

    v0.1.3 1.8K #npm-package #package-json #json-file #parser #serde #entries #define
  82. cfg-if-edc

    一个宏,用于根据大量#[cfg]参数舒适地定义一个项目。结构类似于if-else链,第一个匹配的分支是将被输出的项目。

    v1.0.0 #cfg #macro #structured #numbers #define #parameters #chain
  83. curio

    一个快速无比的http客户端

    v0.0.3 #http-client #blazing #request #performance #post #how #define
  84. stellar-xdr

    Stellar XDR类型、编码和解码

    v21.2.0 12K #xdr #define #contract #set #type #codec #decoding
  85. error-ex

    专为希望创建和使用清晰、明确、易于使用的错误而设计

    v0.1.3 #error #error-handling #macro #define
  86. notation_fretted

    趣味符号 - 为指弹乐器定义

    v0.6.0 #guitar-tabs #notation #music-notation #fretted #define #instrument #chord
  87. flow_impl

    流函数实现特质的定义和derive宏

    v0.21.0 #flow #traits #functions #define #derive #executed #macro-derive
  88. cell-family

    通过唯一所有者访问的廉价单元

    v0.1.0 #family #cell #define #owner #thread #unique #send
  89. intercom

    编写COM可见的Rust组件

    v0.4.0 #com-interface #class #component #object #define #methods #i32
  90. tightness

    定义受任意不变量和条件约束的类型

    v1.0.1 #bounds #condition #invariants #define #types #mutation #construction
  91. graphics-style

    所有图形元素的风格

    v0.3.0 #style #graphics #color #style-context #elements #resolver #define
  92. peepmatic-test-operator

    用于peepmatic测试的操作符

    v0.78.0 #testing #operator #wasm #peepmatic #cranelift #define #run-time
  93. gpp

    Rust的类似C的通用预处理器

    v0.6.2 190 #command #generic #preprocessor #macro #exec #define #input
  94. tui_view

    可重用且轻度可配置的TUI视图

    v0.2.5 #tui #reusable #configurable #view #mildly #define #frontend
  95. rs_envflag_macros

    通过环境变量定义标志的便捷方式

    v0.4.1 160 #flags #define #variables #environment #env-vars
  96. tartan-c-enum

    定义支持未知值的FFI安全的枚举

    v1.0.0 #enums #ffi #values #unknown #define #defined #variant
  97. aquavm-air

    Fluence网络中协调请求流的AIR脚本解释器

    v0.64.1 290 #fluence #air #air-interpreter #programming-language #wasm #networking #define
  98. rs_state_machine

    面向业务的州机库

    v2.0.0 #state-machine #events #business-oriented #transition #guard #dsl #define
  99. near-sys

    NEAR运行时内置函数的系统调用定义

    v0.2.2 6.9K #near #contract #smart-contracts #define #blockchain #syscalls #run-time
  100. object-alloc

    Rust的对象分配器特质

    v0.2.0 #object #cache #allocator #define
  101. 使用DuckDuckGo进行搜索。

  102. toad-array

    由toad生态系统使用,用于在堆或堆外集合上抽象的数组特质

    v1.0.0-beta.3 #coap #iot #networking #wasm #heap-allocation #no-std #define
  103. anygma

    使定义包含不同类型的数组变得容易

    v0.1.0 #macro #utility #array #define #different #containing #type
  104. async-events-emitter

    提供事件处理系统的实现

    v0.1.0 #event-system #events #event-handling #handlers #async-trait #emit #define
  105. readfile-custom

    通过命令行读取文件内容

    v0.1.0 #read-file #error #custom-error #file-content #define #cli
  106. avm-data-store

    AVM DataStore 特性定义

    v0.7.9 390 #fluence #air #programming-language #wasm #webassembly #define
  107. hemtt-preprocessor

    hemtt 的预处理器库

    v1.0.0 #preprocessor #macro #hemtt #define
  108. markup-proc-macro

    为 Rust 提供的快速、类型安全的模板引擎

    v0.15.0 3.1K #template #markup #template-engine #blazing #define #html #type-safe
  109. ironplc-dsl

    IEC 61131 语言元素的领域特定语言对象

    v0.1.1 #language #elements #objects #iec #domain-specific #define #61131
  110. interfacer

    用于各种 API 的 SDK 构建器,如 retrofit

    v0.0.2 #sdk-builder #http #http-client #interface #service #define #response
  111. fmodsilo_interface_stdio

    为 FModSilo 语言服务器定义 stdio 接口

    v0.1.1 #language-server #stdio #interface #f-mod-silo #define
  112. charclass

    定义和修改 Unicode 字符类

    v0.2.0 #unicode-characters #class #character #define #modify #character-class
  113. reflex

    一个最小化的 flex-like 词法分析器

    v0.1.2 #lexer #token #flex #define #tokenize #flex-like #lexing-tokenizing
  114. const_type

    定义类似枚举的常量类型,但具有变体别名

    v0.1.3 #variant #const #aliases #define #const-types #enum-like
  115. rust-enum-derive

    (和程序) 从文本文件生成 Rust 枚举和相关特性

    v0.4.0 #enums #text #traits #associated #generating #define #look
  116. mod_template

    创建定义模板模块的宏

    v0.3.0 #module #macro #template #flexible #define #mod
  117. rust-releases-core

    rust-releases 的基础特性和定义

    v0.28.0 6.9K #toolchain #releases #bisect #source #index #rust-releases #define
  118. const_map

    用于定义编译时关联常量映射的宏

    v0.1.0 #const #map #constant #define #compile-time #associated #maps
  119. iroh-rpc-types

    iroh 的 RPC 类型定义

    v0.2.0 120 #iroh #rpc #define #protocols #service #rpc-client #message
  120. scoped-trace

    收集作用域回溯

    v0.1.0 #trace #backtrace #scoped #tree #bounds #define #execution
  121. test_deps

    允许开发者在测试之间定义依赖关系

    v0.1.0 #dependencies #deps #testing #define #among #dependency
  122. scalar-field

    定义标量字段算术运算的特性和结构体

    v0.1.4 #math #algebra #scalar #fields #operator #define #structs
  123. ext-trait-proc_macros

    内部:::ext_trait 的 proc-macro 后端

    v2.0.0 53K #traits #extension #ext-trait #backend #proc-macro #annotation #define
  124. unfold

    在 Rust 中

    v0.2.0 #iterator #stop #iteration #next #create #fibonacci #define
  125. hypersynthetic_types

    hypersynthetic 和 hypersynthetic_macros 的通用类型定义

    v0.1.1 #html-templating #html #template #hypermedia #web-apps #define #template-engine
  126. contract-extrinsics

    在 substrate 上定义智能合约的 extrinsics

    v4.1.1 1.1K #edsl #parity #blockchain #parity-wasm #wasm #define
  127. zngur-def

    定义 zng 文件结构的自定义数据类型

    v0.4.0 #interop #zng #file #zngur #structure #tool #define
  128. pallet-parameters

    存储和配置参数的 pallet。(polkadot v1.15.0)

    v0.8.0 1.7K #parameters #pallet #polkadot #substrate #store #origin #define
  129. oxinat_core

    oxinat xapi-oxidized 核心库

    v0.14.1 #xnat #user #client #oxinat #plugin #rest #define
  130. ldcache_rs

    根据 glibc 中定义的多种格式解析 ld.so.cache

    v0.1.0 #cache #ld #parser #define #format #endianness #glibc
  131. ratio-def

    为单元比率定义新类型

    v0.3.1 #ratio #newtype #unit #define
  132. polako

    使用 eml! 定义 Bevy 树,使用类似 very-css 的 ess 语法进行样式化,并通过 bind!connect! 关联数据

    v0.1.2 #tree #bevy #bevy-plugin #connect #define #style #bind
  133. music

    定义音符

    v0.1.0 #music #notes #define
  134. stateful_macro_rules

    生成具有状态的 macro_rules 宏

    v0.2.0 #macro-rules #stateful #states #body #generate #define #set
  135. vts

    宏用于生成定义具有关联约束的新类型的样板代码

    v1.1.2 #proc-macro #define #constraints #generate #boiler #plate #clone
  136. astree_macro

    轻松从 Rust 结构中构建 AST

    v0.1.0 #ast #token #structures #astree #define #parser
  137. uptown_funk

    定义与 Wasmer 和 Wasmtime 兼容的主机函数

    v0.1.3 #host #wasmer #define #wasmtime #compatible #functions #wasm
  138. sg-name

    Rust 中名称服务元数据的定义,用于 Stargaze 名称

    v1.2.5 110 #name-service #metadata #cosmos #stargaze #inter-chain #nft #define
  139. kozo

    结构体的语法糖

    v0.1.0 #struct #sugar #define #retrieve #syntax #syntax-sugar #macro
  140. syscall_encode_traits

    帮助定义内核 syscall 接口的特性和宏

    v0.1.9 160 #syscalls #kernel #interface #define #traits #macro #help
  141. canapi

    定义REST API并在客户端和服务器之间共享

    v0.2.0 #client-server #define #endpoint #rest #provider #share #fetch
  142. dropshot_endpoint

    由dropshot消费者用于注册处理程序的宏

    v0.11.0 4.6K #consumer #dropshot #handlers #macro #attributes #define #generate
  143. odra-ir

    用于Odra IR(中间表示)的数据结构

    v0.7.1 850 #intermediate-representation #blockchain #wasm #define
  144. units-relation

    用于与Rs-Measures库一起使用的程序宏,用于定义测量单位之间的关系

    v0.4.0 #relation #measurement #units #define #rs-measures #macro #among
  145. splunk-cim

    为Splunk的通用信息模型定义类型和序列化

    v0.1.0 #define #splunk #model #information #serialization
  146. dioxus-class-internal

    Dioxus类内部

    v0.7.0 100 #class #dioxus-class #define #struct #internal
  147. osquery_types

    OSQuery表的通用结构

    v0.1.1 #osquery #grapl #table #structures #os-query #type #define
  148. sg-whitelist-basic

    Rust对基本Stargaze白名单的定义

    v1.2.5 100 #allowlist #basic #stargaze #api #define
  149. sg-name-market

    Stargaze名称市场的Rust定义

    v1.2.5 #marketplaces #name #stargaze #define
  150. gdp_rs

    在Rust中实现Ghosts-of-departed-proofs模式

    v0.1.1 220 #pattern #define #ghosts-of-departed-proofs #create #server #solid #types
  151. bigquery-functions-types-macros

    用于定义BigQuery函数类型的proc宏

    v0.1.15 #big-query #macro #proc-macro #define #types #function #generate
  152. vibha

    文本冒险实时加载

    v0.1.1 #text-adventure #live-loading #dll #together #final #define #game
  153. typeshare-annotation

    用于标记类型以供类型共享的注解

    v1.0.4 155K #typeshare #annotation #attributes #mark #type #define
  154. syn_squash

    用于捕获多个 Syn 类型并定义共享行为的进程属性宏辅助工具

    v0.1.0 160 #macro-helpers #attributes #syn #behaviour #define #helper #capture
  155. cmd-impl

    v0.9.3 #subcommand #define #containing #quickly #command #serval #substrate
  156. ckb-db-schema

    该模式包括定义低级数据库列族的常量

    v0.118.0-rc1 1.0K #column #low-level #schema #ckb #define #constants #families
  157. junobuild-collections

    定义集合的类型和规则

    v0.0.4 130 #collection #rules #version #set #add #define #types
  158. wasmcloud-interface-surrealdb

    与 surreal-db 提供者交互的接口

    v0.1.0 #surrealdb #interface #provider #capability-provider #wasmcloud-surrealdb #define
  159. rust-toolchain

    定义 Rust 工具链的类型

    v0.21.1 #toolchain #define #rust-releases #index #spec #follow #process
  160. percpu_macros

    定义和访问每个 CPU 数据结构的宏

    v0.1.4 2.1K #arceos #percpu #per-cpu #define #access #structure #data
  161. aux-error

    定义错误

    v0.1.0 #error #aux-error #define
  162. aux-enums

    定义枚举

    v0.1.0 #define #enums #aux-enums #eunms
  163. fsmentry-core

    带有入口 API 和数据存储的有限状态机

    v0.1.2 #state-machine #finite-state-machine #dot #fsm #transition #define #fsmentry
  164. rustfsm

    定义可以接受事件并产生命令的状态机

    v0.1.0 #state-machine #fsm #command #define #produce #accept #events
  165. ux-mediapipe

    Google mediapipe的绑定

    v0.1.0 #mediapipe #define #bindings #google
  166. 可构建

    定义特性以及有助于构建生命周期的实用工具

    v0.0.5 #traits #rub #define #utilities #helpful #build #lifecycles
  167. diman_lib

    diman内部使用的一些常用类型

    v0.5.0 #compile-time #unit #systems #define #time-unit #internal #diman
  168. hax-lib-macros

    适用于Rust程序的Hax特定proc-macros

    v0.1.0-pre.1 380 #proc-macro #hax #programs #ensure #requires #define #extracted
  169. finiteelement

    定义并解决有限元系统

    v0.3.0 #self #element #finite #solve #define #systems #norm
  170. five32-instruction-set

    RISC-V指令集实现的定义

    v0.1.0 #instructions #set #risc-v #define