Lib.rs

› Keywords #interpreter #compiler #erlang #pattern-matching #xl-synth #ssa

#ir

  1. naga_oil

    combining and manipulating shaders using naga IR

    v0.20.0 215K #shader #naga #combining #import #ir #prune

  2. cranelift-frontend

    Cranelift IR builder helper

    v0.127.0 872K #cranelift #variables #ir #builder #ssa #wasm-engine

  3. llvm-ir

    LLVM IR in natural Rust data structures

    v0.11.3 270 #llvm #ir

  4. feldera-ir

    Intermediate representation types for Feldera Programs

    v0.212.0 #ir #dbsp #calcite #compiler

  5. pipeline-script

    Script engine designed for the project construction tool pipeline(crate name pipeline-cli)

    v0.3.12 850 #pipeline-cli #engine #ir #tool #name #script-engine

  6. qbe

    QBE IR for Rust

    v2.5.1 800 #ir #compiler

  7. shacl_ir

    RDF data shapes implementation in Rust

    v0.1.141 2.3K #rdf-data-shapes #shacl #ir #validation

  8. koopa

    generating/parsing/optimizing Koopa IR

    v0.0.9 1.0K #compiler-optimization #ir #compiler

  9. rank-eval

    Ranking evaluation metrics: NDCG, MAP, MRR, precision, recall. TREC format support.

    v0.1.0 #ranking #trec #ndcg #ir #evaluation

  10. xlsynth-prover

    XLS formal pProvers

    v0.23.0 #xl-synth #ir #dylib #path #bindings

  11. cranelift-interpreter

    Interpret Cranelift IR

    v0.127.0 #interpreter #cranelift #ir #instructions #wasm-engine #interpreting

  12. xlsynth-pir

    partial XLS IR focused on functions

    v0.23.0 #xl-synth #ir #parser #dylib #ir-package #cargo-run

  13. ergotree-ir

    ErgoTree IR, serialization

    v0.28.0 #ergo-tree #serialization #avl-tree #ir #define #interpreter

  14. souper-ir

    manipulating Souper IR

    v2.1.0 28K #ir #souper #ast #parser #lhs

  15. xlsynth-driver

    Binary that integrates XLS capabilities into a driver program

    v0.23.0 #xl-synth #driver #toolchain #system-verilog #ir #csv #emit #prove #prover #statistics

  16. py-ir

    Pin1Yin1 ir implementation

    v0.0.4 270 #compiler #ir #pinyin

  17. fontra2fontir

    Converts fontra.xyz/ files to font ir for compilation

    v0.4.0 140 #fontra #convert #ir #graphics

  18. ufo2fontir

    Converts UFO or UFO+designspace to font ir for compilation

    v0.4.0 140 #convert #ufo #ir #graphics

  19. calyx

    Compiler Infrastructure for Hardware Accelerator Generation

    v0.7.1 220 #compiler-infrastructure #hardware-accelerator-generation #compiler #ir

  20. calyx-opt

    Compiler Infrastructure for Hardware Accelerator Generation

    v0.7.1 200 #compiler-infrastructure #hardware-accelerator #ir #compiler

  21. cordillera

    IR generation library for Sierra

    v0.1.4 #sierra #ir #generation #look

  22. qbe-parser

    A parser for QBE IR

    v0.1.0 #ir #parser #qbe

  23. grass-ir

    IR for GRASS

    v0.1.4 #grass #data-analysis #ir #genomics #domain-language #dsl

  24. nu_plugin_explore_ir

    a nushell plugin called explore_ir

    v0.6.0 400 #nu-shell-plugin #explore #ir #instructions #block #jump #debugging #debug-information #uuid

  25. libvex

    High-level bindings for valgrind's LibVEX

    v0.1.1 #high-level-bindings #valgrind #ir #translation #vex #lift

  26. calyx-ir

    Compiler Infrastructure for Hardware Accelerator Generation

    v0.7.1 250 #compiler-infrastructure #hardware-accelerator #compiler #ir

  27. yggdrasil-ir

    Yggdrasil Language IR

    v0.1.6 #yggdrasil #rules #ir #codegen #node #parser-generator #interpreter

  28. portal-jsc-simpl-js-rust

    ECMAScript IR

    v0.8.0-pre.0 420 #ir #javascript

  29. llir

    LLVM IR Binding

    v0.2.2 #llvm-ir #llvm #ir

  30. portal-jsc-swc-batch

    ECMAScript IR

    v0.8.0-pre.0 430 #ir #javascript

    31. Try searching with DuckDuckGo.

  31. ptx-ir

    Parallel Thread Execution (PTX) IR structure and parser

    v0.1.1 #data-structures #ir #parser #cuda-ptx #natural #intermediate-representation

  32. jyafn-qbe

    QBE IR for Rust (forked from https://github.com/garritfra/qbe-rs for jyafn)

    v2.1.1 #qbe #compiler #ir

  33. backflip

    Help your Flipper Zero perform tricks!

    v0.1.0 #flipper-zero #trick #ir #perform #button

  34. citadel-frontend

    The frontend of the citadel compiler backend

    v0.0.12 400 #front-end #citadel #generator #compiler #ir #compiler-back-end

  35. kir

    IR for parse/print def/use support

    v0.1.2 #printing #parser #ir #ssa

  36. irgen

    Create IR files to enhance the signal of acoustic instrument pickups

    v0.1.5 #impulse-response #ir #instrument #enhance #acoustic #pickup

  37. xolir

    Rust protobuf classes for Tel IR api

    v0.1.0 #protobuf #ir #tel #api #build #protoc

  38. isl29125

    Platform-agnostic Rust driver for the ISL29125 low-power digital RGB color light sensor with IR blocking filter

    v0.1.0 #rgb #embedded-hal-driver #ir #sensors #color #sensor-driver

  39. sexpr_ir

    A Generic S-Expression IR Library

    v0.7.2 #s-expr #ir #generic

  40. lincoln

    A low level programming language features linear types and direct manipulation of continuation (returning points)

    v0.1.0 #interpreter #programming-language #continuation #low-level #ir #fact #low-level-programming #lambda-calculus #turing-machine #state-transition

  41. unidok-repr

    AST and IR for the unidok-parser crate

    v0.2.0 #ast #ir #unidok-parser #syntax

  42. polonius-parser

    Parser for the Polonius project

    v0.2.0 #polonius #block #fact #description #ir #goto #test-cases #parse-input #data-model

  43. petr-ir

    target agnostic IR for the petr language

    v0.1.0 #petr #ir #programming-language #target #effect #petr-ast

  44. vex-sys

    Bindings for valgrind's LibVEX

    v0.3.1 210 #valgrind #ir #bindings

  45. eirproject/libeir_syntax_core

    Erlang ecosystem common IR

    GitHub 0.1.0 #erlang #ir #symbols #interpreter #pattern #pattern-matching #eir #data-structures #diagnostics #split

  46. lincoln_compiled

    Lowest level presentation of Lincoln

    v0.1.0 #interpreter #lincoln #value #context #ir #fact #permutation #lambda-calculus #lowest #turing-machine

  47. petr-vm

    a basic VM for running and debugging petr IR

    v0.1.0 #petr #debugging #programming-language #vm #ir #interpreter #vm-for-running #low-level-programming #systems-programming

  48. eirproject/libeir_ir

    Erlang ecosystem common IR

    GitHub 0.1.0 #ir #erlang #pattern-matching #eir #spans #printing #forms #source-spans #kitchen

  49. lincoln_common

    Common functions, traits for Lincoln

    v0.1.0 #interpreter #lincoln #ir #value #traits #lambda-calculus #turing-machine #state-transition #instruction-set #fact

  50. phantasm-ir

    An IR language designed to just work. Optimised for Neutron

    v0.1.0 #language #phantasm #ir #neutron #optimised #assembly #cross-platform #elf #bare-metal #risc-v

  51. eirproject/libeir_tests

    Erlang ecosystem common IR

    GitHub 0.1.0 #erlang #testing #ir #compiler #otp #pattern-matching #data-structures

  52. portal-ir

    Portal Alterable IR

    v0.2.0 #ir #ssa #ssa-ir

  53. portal-jsc-out-ir-core

    ECMAScript IR

    v0.8.0-pre.0 #ir #javascript

  54. cte_ir

    Compile-time evaluation IR

    v0.1.0 #ir #cte #comptime

  55. ylc

    Ygens ir compiler

    v0.1.0 #compiler #ir #ygens

  56. cardinal_backend

    Cardinal's back end

    v0.1.1 #back-end #cardinal #ir #create #generator #supplies

  57. libninja_mir

    mid level ir for libninja

    v0.1.0 #mid #libninja #ir #level #mid-level

  58. chalk-rust-ir

    that defines the IR for Rust concepts like traits and impls

    v0.10.0 #define #impl #traits #ir #concepts

  59. eirproject/libeir_intern

    Erlang ecosystem common IR

    GitHub 0.1.0 #erlang #ir #front-end #interning #interpreter #pattern-matching #optimization-passes #data-structures #eir

  60. cardinal-c

    A C target for the Cardinal code generator

    v0.1.1 #cardinal #codegen #target-for-cardinal #ir #compilation #functioning

  61. eirproject/libeir_syntax_erl

    Erlang ecosystem common IR

    GitHub 0.1.0 #erlang #ir #compiler #spans #symbols #forms #pattern-match #pattern-matching #interpreter #eir

  62. eirproject/libeir_passes

    Erlang ecosystem common IR

    GitHub 0.1.0 #erlang #ir #passes #eir #source #split #forms #interpreter #pattern-matching #data-structures

  63. eirproject/libeir_interpreter

    Erlang ecosystem common IR

    GitHub 0.1.0 #interpreter #erlang #ir #ecosystem #aid #experiment #narrow #lir

  64. solana_libra_compiler

    Libra compiler

    v0.0.1-sol5 330 #compiler #libra #ir #bytecode #bytecode-compiler #blockchain

  65. pcode-rs

    Machine code disassembly and IR translation library for Rust using the excellent SLEIGH library from the Ghidra framework

    v0.1.0 #disassembly #sleigh #ghidra #framework #ir

  66. oort-vm

    The Oort Virtual Machine

    v1.0.0 #ir #vm #compiler