Lib.rs

› Keywords #query-execution #arrow #apache-arrow #query #symbolic #sql #smt #set

#execution-engine

  1. datafusion

    in-memory query engine that uses Apache Arrow as the memory model

    v44.0.0 562K #apache-arrow #query-execution #execution-engine #sql-query #query #arrow #csv

  2. datafusion-execution

    Execution configuration support for DataFusion query engine

    v44.0.0 561K #apache-arrow #query-execution #execution-engine #query #sql-query #arrow #sql

  3. datafusion-physical-plan

    Physical (ExecutionPlan) implementations for DataFusion query engine

    v44.0.0 556K #query-execution #apache-arrow #sql-query #query #arrow #execution-engine #sql

  4. datafusion-federation

    Datafusion federation

    v0.3.3 400 #query-engine #execution-engine #query-execution #sql-query #remote #federation #data-fusion

  5. haybale

    Symbolic execution of LLVM IR, written in Rust

    v0.7.2 #llvm-ir #execution-engine #llvm #smt-solver #ir #smt

  6. polars-stream

    Private crate for the streaming execution engine for the Polars DataFrame library

    v0.45.1 29K #execution-engine #dataframe #polars #streaming #query-engine #arrow #internal

  7. netsblox-vm

    running NetsBlox code with optional native extensions

    v0.4.5 #visual-programming #distributed-computing #execution-engine #native-tls #nets-blox #run-time #internet

  8. proof-of-sql-parser

    SQL parsing for the Proof of SQL execution engine

    v0.64.5 3.7K #sql-query #sql-parser #execution-engine #zero-knowledge-proofs #proof #query-parser #query-execution

  9. pistones

    An wrapper for the Piston code execution engine

    v0.2.1 #execution-engine #piston #api-client #http-client #http-request #asynchronous-programming #run

  10. datafusion-physical-expr-common

    Common functionality of physical expression for DataFusion query engine

    v44.0.0 551K #apache-arrow #query-execution #sql-query #query #sql #arrow #execution-engine

  11. flawless

    Toolkit for writing durable execution workflows in Rust

    v1.0.0-beta.3 190 #durable-execution #workflow #execution-engine #workflow-engine #toolkit

  12. exon-common

    Common utilities for Exon

    v0.32.4 500 #object-storage #bioinformatics #file-format #execution-engine #exon #proteomics #arrow

  13. haybale-pitchfork

    Verifying constant-time code with symbolic execution

    v0.4.1 #constant-time #llvm #symbolic #smt #execution-engine #line-numbers #array-index

  14. fluvio-smartengine

    The official Fluvio SmartEngine

    v0.8.3 280 #data-streaming #streaming #stream #execution-engine #queue #api-bindings

  15. sense

    Execution engine for Gale, the malleable computational medium

    v0.0.3 #execution-engine #computational #research #medium #gale #malleable #surfocal

  16. exon-gtf

    GTF datasource for Exon

    v0.32.4 300 #bioinformatics #exon #execution-engine #object-storage #gtf #data-source #file-format

  17. compiler_base_parallel

    A common domain programming language framework

    v0.1.0 #execution-engine #compiler #task-execution #parallel #executor #concurrency #framework

  18. isla

    symbolic execution engine for Sail instruction set architecture specifications

    v0.2.0 #execution-engine #instructions #architecture #set #symbolic #specification-language #sail

  19. lucidity

    A distributed orchestrator platform for Rust

    v0.1.0 #distributed #execution-engine #orchestrator #proc-macro #macro #orchestration #helper

  20. flawless-slack

    Transport protocol agnostic Slack client for Rust

    v1.0.0-alpha.16 croatian-pine-marten 190 #slack #durable-execution #protocols #execution-engine #tcp-stream #flawless #async-executor

  21. monster-rs

    Monster is a symbolic execution engine for 64-bit RISC-U code

    v0.4.1 #monster #smt-solver #execution-engine #risc-v #smt #symbolic-execution #riscu

  22. csx64

    An Intel-style x64 assembler and executor

    v0.1.2 #assembly #execution-engine #linker #x86-64 #emulator #executor #machine

  23. isla-lib

    Isla is a symbolic execution engine for Sail instruction set architecture specifications. This crate implements the core symbolic execution engine as a library.

    v0.2.0 #execution-engine #instructions #symbolic #specification #architecture #isla #set

  24. isla-axiomatic

    Isla is a symbolic execution engine for Sail instruction set architecture specifications. This crate implements utilities for handling axiomatic memory models.

    v0.2.0 #execution-engine #instructions #architecture #set #symbolic #specification #sail

  25. seer

    symbolic execution engine for rust

    v0.0.3 #execution-engine #symbolic #constraints #set #point #base64 #string

    26. Try searching with DuckDuckGo.

  26. casper-execution-engine

    Casper execution engine crates

    v7.0.3 550 #execution-engine #casper #execute #contract #component #reference #protocols

  27. bpxe

    Business Process eXecution Engine

    v0.2.1 #execution-engine #workflow-engine #business #workflow #process #bpmn #memory-safety

  28. gluesql-core

    GlueSQL - Open source SQL database engine fully written in Rust with pure functional execution layer, easily swappable storage and web assembly support!

    v0.16.3 2.5K #sql-database #database-engine #execution-engine #glue-sql #functional #source #open

  29. piston_rs

    An async wrapper for the Piston code execution engine

    v0.4.3 #piston #execution-engine #code #api-bindings #emkc

  30. concordium-smart-contract-engine

    Concordium's smart contract execution engine

    v6.0.0 320 #smart-contracts #execution #invoke #state #v0 #execution-engine #concordium

  31. wirefilter-engine

    An execution engine for Wireshark-like filters

    v0.6.1 #filter #execution-engine #engine #run-time #wireshark #parser #field-value

  32. bpxe-bpmn-schema

    Business Process eXecution Engine's BPMN schema

    v0.2.1 #schema #workflow #bpmn #execution-engine #process #business #bpxe

  33. typst-engine

    Execution engine for Typst

    v0.1.0 #typst #execution-engine #github #name #reserve #real

  34. gear-sandbox-host

    A set of common definitions that are needed for defining execution engines

    v1.7.0 900 #execution-engine #definition #gear

  35. lucidity-core

    A distributed orchestrator platform for Rust

    v0.1.0 #distributed #orchestrator #macro #lucidity #execution-engine #orchestration

  36. execution-engine

    Toca Execution Engine implemented using Futures and async/await

    v0.1.4 #workflow #toca #execution #job #future #reactor #engine

  37. lucidity-macros

    A distributed orchestrator platform for Rust

    v0.1.0 #distributed #orchestrator #lucidity #macro #orchestration #execution-engine

  38. kosha

    A Workflow Execution Engine

    v0.0.1 #workflow #workflow-engine #execution #execution-engine

  39. bzb_execution_layer

    Rust communication shim to talk to a Ethereum execution client

    v0.0.1 #execution #execution-engine #layer #abstraction #ethereum #json-rpc #talk