中间表示

  1. regex-syntax

    正则表达式解析器

    v0.8.4 16.9M #regex #regex-parser #intermediate-representation #ast #hir #expression-parser #syntax
  2. geozero

    在WKT/WKB、GeoJSON、MVT、GDAL和其他格式中实现地理空间数据的零拷贝读写

    v0.13.0 17K #geojson #postgis #geo-json #gdal #mvt #data-processing #intermediate-representation
  3. triton-vm

    带有代数执行表(AET)和算术中间表示(AIR)的虚拟机,用于与STARK证明系统结合使用,以允许证明正确……

    v0.42.0-alpha.9 410 #virtual-machine #intermediate-representation #zero-knowledge-proofs #stark #vm #zero-knowledge #recursion
  4. winter-prover

    Winterfell STARK证明器

    v0.9.0 9.4K #stark #prover #zkp #cryptography #intermediate-representation #crypto
  5. miden-air

    Miden VM处理器的代数中间表示

    v0.10.5 8.4K #air #miden #arithmetization #intermediate-representation #cryptography #crypto
  6. cargo-check-deadlock

    使用Petri网在编译时检测Rust源代码中的死锁

    v1.0.10 750 #deadlock-detection #petri-net #rustc-plugin #model-checker #lost-signals #intermediate-representation #fuzz-testing
  7. acir

    VM处理的IR,类似于LLVM IR

    v0.46.0 100 #intermediate-representation #zero-knowledge-proofs #opcode #noir #ir #proving #programming
  8. cranelift-codegen

    低级代码生成库

    v0.111.0 504K #intermediate-representation #jit-compiler #compiler #jit #compile
  9. pliron

    编程语言中间表示

    v0.3.2 550 #compiler #intermediate-representation #mlir #llvm #programming-language
  10. serde-intermediate

    Serde序列化的中间表示

    v1.6.0 150 #intermediate-representation #deserialize #format #derive-debug #default #patch #data
  11. mun_hir

    Mun代码的高级中间表示

    v0.4.0 #intermediate-representation #mun #hot-reloading #scripting #programming-language #language #game
  12. rbs

    ORM的序列化框架

    v4.5.18 2.9K #orm #mysql #sqlite #postgresql #set #database #intermediate-representation
  13. miden-hir-type

    Miden HIR 类型

    v0.1.0 #miden #compiler #intermediate-representation #hir #assembly #high-level #wasm
  14. koopa

    生成/解析/优化 Koopa IR

    v0.0.7 160 #ir #compiler #intermediate-representation #optimization #generation #university #courses
  15. serde-tagged-intermediate

    为 Serde 序列化提供的标记中间表示

    v1.6.0 #intermediate-representation #tagged #deserialize
  16. weld

    用于提高数据密集型应用程序性能的语言和运行时

    v0.4.0 #optimization #llvm #intermediate-representation #performance #applications #run-time #across
  17. zki_sieve

    SIEVE IR

    v4.0.1 #zero-knowledge #zk-proofs #intermediate-representation #zk #cryptography
  18. rtlola-frontend

    RTLola运行时验证框架的前端

    v0.7.0 110 #verification #frontend #front-end #monitoring #analyzer #parser #intermediate-representation
  19. partiql-ir

    PartiQL中间表示

    v0.10.1 360 #query-language #intermediate-representation #query #sql #compiler #interpreters #sql-parser
  20. jingle_sleigh

    Ghidra的SLEIGH的FFI层

    v0.1.1 #sleigh #ghidra #pcode #api-bindings #intermediate-representation
  21. aws-smt-ir

    SMT问题的中间表示

    v0.3.0 #smt #smt-lib #solver #intermediate-representation
  22. sunscreen_fhe_program

    Sunscreen FHE程序的格式数据

    v0.8.1 #fhe #lattice #bfv #cryptography #intermediate-representation
  23. hornbeam_ir

    Hornbeam模板语言的中间表示

    v0.0.4 #intermediate-representation #template-engine #ir #hornbeam #language #ast #node
  24. rtlola-hir

    RTLola规范的高级中间表示

    v0.5.0 #intermediate-representation #verification #monitoring #hir #front-end #analyzer #error-reporting
  25. oakc

    具有紧凑后端的便携式编程语言

    v0.6.1 #programming-language #portable #compiler #compact #backend #intermediate-representation #documentation
  26. yarte_hir

    yarte的中间表示

    v0.15.6 850 #template #handlebars #html #html-templating #markup #intermediate-representation
  27. pliron-llvm

    pliron的LLVM方言

    v0.3.2 120 #llvm #compiler #mlir #pliron #intermediate-representation #programming-language
  28. air-interpreter-sede

    AIR解释器序列化和反序列化实用模块

    v0.1.0 600 #fluence #air #programming-language #todo #intermediate-representation
  29. llhd

    作为构建硬件设计工具基础的底层硬件描述

    v0.16.0 240 #intermediate-representation #hardware #design #low-level #language #description #stack
  30. tsar

    Tsar编程语言

    v0.3.0 100 #programming-language #intermediate-representation #golang #compiled #typed #dynamically #package
  31. twiggy-ir

    Twiggy代码大小分析器的中间表示

    v0.7.0 650 #intermediate-representation #wasm-binary #size #size-optimization #profiler #twiggy #dead
  32. enalang_ir

    臭名昭著的算法 - 中间表示定义

    v0.6.1 #intermediate-representation #programming-language #ir #definition #algorithm #enalang #ena
  33. yair

    完全用Rust编写的编译器框架

    v0.1.0 #中间表示 #编译器 #组件 #内存 #框架 #ir #指针
  34. muxml

    将MusicXML文件序列化和反序列化为中间表示

    v0.1.3 #反序列化 #中间表示 #序列化 #xml数据 #musicxml #元素
  35. xasm

    xasm编程语言的编译器

    v0.5.10 #编程语言 #跨平台 #中间表示 #编译 #静态类型 #动态
  36. triton-opcodes

    Triton虚拟机指令及其翻译

    v0.31.0 #中间表示 #虚拟机 #triton #指令 # #算术 #代数
  37. lovm2

    一个以简单性和可扩展性为重点的轻量级虚拟机

    v0.4.8 #解释器 #虚拟机 #编程语言 #字节码 #中间表示 #自建
  38. 尝试使用DuckDuckGo进行搜索。搜索.

  39. serde-reflect-intermediate

    为Serde序列化提供的中间表示反射工具

    v1.2.4 #中间表示 #反射
  40. senv

    无差别的.env文件

    v0.2.0 #环境变量 #中间表示 #正确 #糟糕 #shell无关
  41. stir

    小型线程化中间表示

    v0.0.2 #llvm #ir #中间表示 # #线程化 #配方 #调试
  42. stationeers-mips

    Stationeers MIPS汇编的中间表示

    v0.2.0 #mips #stationeers #编译器 #表示 #汇编 #中间 #中间表示
  43. heir

    一个功能丰富的扑克牌中间表示

    v0.1.0 #扑克 #中间表示 #手牌 #德州手牌 #历史记录 #功能丰富
  44. sp-metadata-ir

    运行时元数据的中间表示。(polkadot v1.10.0)

    v0.7.0 14K #元数据 #中间表示 #运行时 #polkadot #parity
  45. lincoln_ir

    Lincoln的中间表示

    v0.1.0 #中间表示 #编程语言 #λ演算 #lincoln #机器 #ir #图灵
  46. lunir

    面向Lua的通用中间表示

    v0.2.0 #中间表示 #lua #通用 #字节码 #编译 #luau #格式
  47. odra-ir

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

    v0.7.1 850 #中间表示 #区块链 #wasm #定义
  48. asdl

    ASDL格式的解析器。描述编译器中间表示和其他树状数据结构的抽象语法

    v1.0.1 #中间表示 #描述 #语法 #抽象 #编译器 #结构 #树状
  49. symoxide

    计算机代数系统中间表示和转换

    v0.1.2 #中间表示 #转换 #符号数学 #代数 #计算机 #表达式 #系统
  50. air-ir

    AirScript语言的中间表示

    v0.3.0 #中间表示 #stark #零知识 #air #zkp
  51. ink-analyzer-ir

    ink!智能合约代码的中间表示(IR)和抽象,用于ink!分析器

    v0.14.0 #substrate #智能合约 #语法树 #polkadot #区块链 #ink #中间表示
  52. smart_ir

    智能中间表示编译器框架

    v0.0.2 #智能 #表示 #中间 #中间表示 #编译器 #框架
  53. eosio-codegen

    中间表示的数据结构和算法

    v0.2.5 #eosio #区块链 #wasm #中间表示
  54. dusk_dire

    一个正在开发中的中间表示库,主要用于Dusk编程语言

    v0.1.6 #编程语言 #dusk #中间表示 #dire #开发中
  55. fontir

    字体编译器fontc使用的中间表示

    v0.0.1 #中间表示 #字体 #ir #fontc #图形 #上下文 #编译器
  56. serde-intermediate-derive

    为Serde序列化的中间表示派生宏

    v1.6.0 160 #中间 #中间表示 #宏派生 #proc #proc-macro
  57. sonatina-ir

    sonatina代码生成器的中间表示

    v0.0.3-alpha #智能合约 #evm #编译器 #智能合约 #wasm #中间表示
  58. mlir

    中程编程语言

    v0.0.1 #language #sino #programmming #intermediate-representation #infrastructure #compiler
  59. aws-smt-ir-derive

    SMT问题的中间表示

    v0.1.2 #smt #smt-lib #solver #intermediate-representation
  60. serde-reflect-intermediate-derive

    为Serde序列化中间表示反射工具的派生过程宏

    v1.2.4 #intermediate-representation #reflection #proc #macro