Lib.rs

› 关键词 #搜索 #正则表达式 #绑定 #替换 #命令 #查找 #包 #crate

Lean

  1. ripfind

    一个快速的Lean版find命令替代品

    v0.4.2 #替换 #查找 #Lean #包 #命令 #正则表达式 #搜索

  2. cargo-diet

    通过计算Cargo清单的大小优化指令使crate变得Lean

    v1.2.7 #cargo清单 #cargo #Lean #cargo-toml #cargo子命令 #crate #cli

  3. lean-sys

    Lean 4的C API的绑定

    v0.0.7 1.6K #Lean #绑定 #数学 #API绑定

  4. ripjson

    一种快速Lean的JSON文件grep方法

    v0.9.11 #JSON #正则表达式 #grep #Lean #搜索

  5. krakel

    从OpenCamLib迁移的Lean 2D kd-tree

    v0.2.3 #kd-tree #迁移 #2D #Lean #OpenCamLib

  6. cint

    Rust中crate之间颜色交互的Lean、最小化和稳定类型集

    v0.3.1 5.5K #颜色 #稳定 #接口 #Lean #集合 #类型 #线性代数

  7. criner-cli

    为'Criner' crates挖掘平台提供的命令行界面

    v0.3.1 #报告 #io #下载 #criner #版本 #互联网 #Lean

  8. bencode-decode

    最小化、Lean、无废话、基于迭代器的bencode解码器

    v0.1.0 #bencode #解码 #解码器 #Lean #解析器 #无废话 #基于迭代器

    9. 尝试使用DuckDuckGo进行搜索：搜索.

  9. sokol

    对sokol头文件、跨平台C库的本地绑定

    v0.3.0 #绑定 #跨平台 #Lean #应用程序 #音频 #点 #入口

  10. rf

    一个快速的Lean版find命令替代品

    v0.1.0 #查找 #替换 #Lean #目录 #命令 #ripgrep #搜索

  11. rex

    一个Lean的十六进制编辑器

    v0.1.0 #十六进制编辑器 #十六进制 #编辑器 #Lean

  12. rs-lean

    练习

    v0.1.0 #lean #rs-lean #练习

  13. git-diff

    请使用 gix-<thiscrate> 代替（‘git’ -> ‘gix’）

    v0.26.2 380 #git #gix-thiscrate #lean #algorithm #highly #diffing #optimized

  14. no_mutex

    适用于单线程环境的 lean no_std 互斥锁

    v0.0.1 #mutex #single-threaded #environments #no-std #lean

  15. gix-tix

    类似于 tig，但更简洁、快速和高效

    v0.0.0 #tig #git #lean #pure #idiomatic #safe #version-control

  16. folda

    灵活的 Oxidized Lean 数据库汇编器

    v0.0.1 #assembly #lean #flexible #oxidized #database