-
predicates
boolean-valued predicate functions
-
num_cpus
Get the number of CPUs on a machine
-
iced
A cross-platform GUI library inspired by Elm
-
cargo-util-schemas
Deserialization schemas for Cargo
-
uhlc
A Unique Hybrid Logical Clock for Rust
-
librespot-playback
The audio playback logic for librespot
-
pact_matching
Pact-Rust support library that implements request and response matching logic
-
jsonptr
Data structures and logic for resolving, assigning, and deleting by JSON Pointers (RFC 6901)
-
aws-smithy-eventstream
Event stream logic for smithy-rs
-
rinf
native business logic, Flutter for flexible and beautiful GUI
-
openssl-src
Source of OpenSSL and logic to build it
-
arrow-schema
Defines the logical types for arrow arrays
-
ui-events
working with UI events and input types
-
datalogic-rs
A fast, type-safe Rust implementation of JSONLogic for evaluating logical rules as JSON. Perfect for business rules engines and dynamic filtering in Rust applications.
-
pea2pea
A lightweight, performant microkernel for TCP peer-to-peer (P2P) networking. Handles connection pooling and framing, leaving the logic to you.
-
quinn-proto
State machine for the QUIC transport protocol
-
aws-smithy-runtime
The new smithy runtime crate
-
datafusion-sql
DataFusion SQL Query Planner
-
async-backtrace
Efficient, logical 'backtraces' of async tasks
-
managed
An interface for logically owning objects, whether or not heap allocation is available
-
hyperlight-guest-bin
opinionated bits of the guest library, such as the panic handler, the entry point, the guest logger, the exception handling logic, and third-party code used by our C-API needed to build a native hyperlight-guest binary
-
lua-src
Sources of Lua 5.1-5.5 and logic to build them
-
luajit-src
Sources of LuaJIT 2.1 and logic to build it
-
aws-smithy-xml
XML parsing logic for Smithy protocols
-
nextest-runner
Core runner logic for cargo nextest
-
sn_node
Safe Node
-
scram-rs
Salted Challenge Response Authentication Mechanism (SCRAM) SASL mechanism, a library which implements SCRAM logic for Rust and C languages
-
phf_generator
PHF generation logic
-
mbrman
MBR Partition Management in Rust
-
tor-relay-selection
Logic to select Tor relays for specific purposes
-
peace_rt
Runtime logic for the peace automation library
-
datafusion-functions-nested
Nested Type Function packages for the DataFusion query engine
-
kftray-portforward
KFtray library with port forwarding logic
-
datafusion-expr
Logical plan and expression representation for DataFusion query engine
-
librespot-metadata
The metadata logic for librespot
-
librespot-protocol
The protobuf logic for communicating with Spotify servers
-
stof-cli
Stof CLI: data that carries its own logic
-
balanced-ternary
manipulate balanced ternary values
-
matcher_rs
A high-performance matcher designed to solve LOGICAL and TEXT VARIATIONS problems in word matching, implemented in Rust
-
pg2any_lib
PostgreSQL to Any database library with Change Data Capture (CDC) and logical replication support
-
pg_walstream
PostgreSQL logical replication protocol library - parse and handle PostgreSQL WAL streaming messages
-
cluFullTransmute
Extended, no-constraint type transmutation API, featuring safe checks and const-ready logic
-
rust-sitter
A package for defining tree-sitter grammars alongside Rust logic
-
aws-smithy-query
AWSQuery and EC2Query Smithy protocol logic for smithy-rs
-
datafusion-functions
Function packages for the DataFusion query engine
-
unleash-yggdrasil
Unleash SDK domain logic extracted into a library to facilitate building your own Unleash SDKs in anything, anywhere
-
stof
Data that carries its own logic
-
librespot-audio
The audio fetching logic for librespot
-
tau-engine
A document tagging library
-
sabi-rust
A small framework to separate logics and data accesses for Rust application
-
rl-core
Core logic for a token-bucket rate-limiter
-
polars-io
IO related logic for the Polars DataFrame library
-
raa_tt
Proves sentences of propositional calculus
-
datafusion-proto
Protobuf serialization of DataFusion logical plan expressions
-
axoproject
project detection logic for various axo.dev applications
-
hlc-gen
Lock-free Hybrid Logical Clock (HLC) timestamp generator
-
fn_graph
Runs interdependent logic concurrently, starting each function when predecessors have completed
-
zeromq-src
Source code and logic to build ZeroMQ from source
-
git-topic-stage
Logic for managing a topic stage on top of a base branch in git
-
datafusion-expr-common
Logical plan and expression representation for DataFusion query engine
-
rsubst
A small, envsubst-like utility with conditional logic and advanced templating
-
datafusion-functions-aggregate
Traits and types for logical plans and expressions for DataFusion query engine
-
tl-lang
A differentiable programming language with tensor support for machine learning
-
avalog
An experimental implementation of Avatar Logic with a Prolog-like syntax
-
yazi-core
Yazi core logic
-
hooo
Propositional logic with exponentials
-
malwaredb-virustotal
Logic and datatypes for interacting with VirusTotal
-
scouter-profile
Scouter profile logic
-
json-eval-rs
High-performance JSON Logic evaluator with schema validation and dependency tracking. Built on blazing-fast Rust engine.
-
librespot-discovery
The discovery logic for librespot
-
robotech
Backend service implementation for the RoboTech platform, providing RESTful APIs and business logic for web applications
-
datafusion-functions-aggregate-common
functions for implementing aggregate functions for the DataFusion query engine
-
null-kane
currency crate with the option to add your own currency localization logic
-
deno_cache_dir
Cache directory logic used in Deno
-
rspack_error
rspack error
-
preset_env_base
Common logic for targetting vairous browsers
-
kanban-domain
Domain models and business logic for the kanban project management tool
-
crabtime
A powerful yet easy-to-use Rust macro that generates code by evaluating inline Rust logic at compile time
-
polyglot_interpreter
A cross-platform, cross-language interpreter of simple logical expressions
-
rinf_cli
native business logic, Flutter for flexible and beautiful GUI
-
logicline
Logic processing engine
-
ascent
Logic programming in Rust
-
vello_common
Core data structures and utilities shared across the Vello rendering, including geometry processing and tiling logic
-
luau0-src
Minimal sources of Luau and logic to build them
-
bevy_scriptum
Plugin for Bevy engine that allows you to write some of your game or application logic in a scripting language
-
matcher_py
A high-performance matcher designed to solve LOGICAL and TEXT VARIATIONS problems in word matching, implemented in Rust
-
keen-retry
-- yet powerful -- zero-cost-abstractions & zero-copy lib for error handling & recovery
-
librespot-connect
The Spotify Connect logic for librespot
-
adaptive-pipeline-domain
Domain layer for optimized, adaptive pipeline - pure reusable business logic, entities, value objects, and domain services following DDD principles
-
scouter-evaluate
LLM Evaluation logic for Scouter
-
clawgic
Logic engine for making, modifying, and evaluating expressions from sentential (propositional) logic. Support for predicate logic will be added later.
-
polars-sql
SQL transpiler for Polars. Converts SQL to Polars logical plans
-
seasoning
Embedding and reranking infrastructure with rate limiting and retry logic
-
id_newtype
Implements logic for a
Cow<'static, str>newtype where only[A-Za-z0-9_]are valid characters -
playit-agent-core
Contains the logic to create a playit.gg agent
-
predicates-tree
Render boolean-valued predicate functions results as a tree
-
rust_test_core
Core logic for rust_test_framework
-
datafusion-functions-window
Window function packages for the DataFusion query engine
-
espresso-logic
Rust bindings for the Espresso heuristic logic minimizer (UC Berkeley)
-
scouter-drift
Drift logic for Scouter
-
slac
The "Simple Logic & Arithmetic Compiler" transforms a single expression into an abstract syntax tree
-
rocketmq-tools
Apache RocketMQ tools
-
pagino
Handle pagination's logic
-
pjson-rs-domain
Pure domain logic for PJS - WASM-compatible core
-
datafusion-pruning
DataFusion Pruning Logic
-
region_cached
Adds a logical layer of caching between processor L3 cache and main memory
-
balanced-direction
manipulate directions with discrete logic
-
scouter-observability
Scouter observability logic
-
pulse-ops
Built-in operators and combinators for Pulse dataflows — map, filter, join, window, and custom processing logic
-
symbolic-mgu
Symbolic logic unification using Most General Unifiers (MGU). Implements Meredith's condensed detachment for exploring automated proof discovery.
-
velvetry
A type-safe fuzzy logic control library for Rust
-
pgwire-replication
Tokio-based Postgres wire-protocol logical replication client (pgoutput) with TLS and SCRAM
-
lmrc-cloudflare
Cloudflare API client library for the LMRC Stack - comprehensive DNS, zones, and cache management with automatic retry logic
-
ruma-identifiers-validation
Validation logic for ruma-common and ruma-macros
-
logic_tracer
Recognize a logic proposition and trace its truth value, also generate a truth table (still in development)
-
taiga-core
Core domain logic for Taiga task manager
-
scouter-semver
Scouter semver logic
-
datafusion-functions-table
Traits and types for logical plans and expressions for DataFusion query engine
-
fee
Expression evaluator supporting numeric, logical and bitwise operators
-
par
Session types, as an implementation of linear logic with MIX
-
saorsa-logic
Pure logic crate for Saorsa network - zkVM compatible, no_std
-
open-agent-sdk
Production-ready Rust SDK for building AI agents with local OpenAI-compatible servers (LMStudio, Ollama, llama.cpp, vLLM). Features streaming, tools, hooks, retry logic, and comprehensive examples.
-
aspirina
A modular neural network library with matrix operations and backpropagation
-
mockforge-core
Shared logic for MockForge - routing, validation, latency, proxy
-
mago-codex
PHP type system representation, comparison logic, and codebase metadata for static analysis
-
swift-bridge-ir
Holds the data structures and logic for bridge module parsing and code generation
-
tongsuo-src
Source of Tongsuo and logic to build it
-
polars-json
JSON related logic for the Polars DataFrame library
-
tmpl-resolver
A lightweight template resolution engine with conditional logic support
-
prople-vessel-core
An abstraction of core business logic for the prople/vessel
-
unified-headless-video-core
Cross-platform headless video playback logic engine - Same code, same behavior, all platforms
-
skillet
micro expression language (arithmetic, logical, functions, arrays, conditionals, excel formulas) made in Rust bin cli and server
-
xldenis/creusot-contracts
contracts and logic helpers for Creusot
-
aura-core
Core types and logic for extended Arch Linux package managers
-
rustapi-core
The core engine of the RustAPI framework. Provides the hyper-based HTTP server, router, extraction logic, and foundational traits.
-
datafusion-functions-window-common
Common functions for implementing user-defined window functions for the DataFusion query engine
-
mago-algebra
The logical reasoning engine for Mago's static analyzer, responsible for manipulating sets of logical clauses
-
ant-registers
Register logic for Autonomi
-
gsim
High speed digital logic simulation
-
tor-rpc-connect
Common implementation logic for Arti RPC Connect points
-
mecha10-behavior-runtime
Behavior tree runtime for Mecha10 - unified AI and logic composition system
-
scouter
logic
-
liquidwar7core
Liquidwar7 core logic library, low-level things which are game-engine agnostic
-
kz80_prolog
Prolog compiler for Z80 - Logic programming on the RetroShield
-
mech-logic
Logic library for the Mech language
-
datafusion-functions-array
Array Function packages for the DataFusion query engine
-
fukurow-dl
OWL DL reasoning engine for Fukurow (complete tableau algorithm with individual reasoning)
-
docbox-database
Docbox database structures, logic, and migrations
-
fx-core
Ultra-low-latency matching engine and lock-free order book for FX trading. Implements core order matching algorithms, trade execution logic, and maintains real-time order book state with minimal latency.
-
some-auth
User management and JWT logic for API services
-
matcher_c
A high-performance matcher designed to solve LOGICAL and TEXT VARIATIONS problems in word matching, implemented in Rust
-
docbox-core
Docbox core business logic and functionality
-
product-farm-farmscript
FarmScript DSL - Human-friendly expression language that compiles to JSON Logic
-
lnmp-spatial
Spatial awareness types and logic for LNMP protocol
-
tensorlogic
Logic-as-Tensor planning layer - meta crate re-exporting all TensorLogic components
-
impls
Determine if a type implements a logical trait expression
-
product-farm-json-logic
JSON Logic parser, AST, and bytecode compiler for Product-FARM
-
pocket_prover
A fast, brute force, automatic theorem prover for first order logic
-
psrt
Industrial Pub-Sub server with minimal latency and MQTT-compatible logic
-
lolli-cli
Command-line interface for the Lolli linear logic workbench
-
stec_shopster
Persistence layer for a shop system
-
harmonia-store-core
Core Nix store semantics - pure types and validation logic
-
scouter-events
Logic for setting up and running Scouter event-driven consumers and producers
-
rspack_browserslist
Rspack browserslist
-
powerlink-rs
Platform-agnostic core logic for Ethernet POWERLINK Rust implementation
-
assay-policy
Policy types and compilation logic for Assay
-
playit-api-client
Contains the logic to create a playit.gg agent
-
hlc_id
generating and managing Hybrid Logical Clock (HLC)-based IDs
-
wiremock_logical_matchers
Logical matchers for use with wiremock
-
grit-pattern-matcher
Pattern definitions and core matching logic for GritQL
-
logicaffeine-language
Natural language to first-order logic pipeline
-
doless
macro to simplify struct mapping , injects cache lookup logic directly into your functions ,and function utilities
-
issun
A mini game engine for logic-focused games - Build games in ISSUN (一寸) of time
-
gemini_crate
A robust Rust client library for Google's Gemini AI API with built-in error handling, retry logic, and comprehensive model support
-
repr
The regular-expression-as-linear-logic interpretation and its implementation
-
clientix
building HTTP clients and requests declaratively with procedural macros - no need to write complex imperative or functional logic
-
perspt-agent
SRBN Orchestrator and Agent logic for Perspt
-
prop
Propositional logic with types in Rust
-
prune-lang
Prune is a constraint logic programming language with branching heuristic
-
rust-sitter-common
Shared logic for the Rust Sitter macro and tool
-
quickstart-lib
handling template logic for cargo-quickstart
-
rust-kzg-bn254-prover
offers a set of functions for generating and interacting with bn254 KZG commitments and proofs in rust, with the motivation of supporting fraud and validity proof logic in EigenDA rollup integrations
-
toon-core
Core serialization/parsing logic for TOON-LD format
-
mago-trinary
implementing three-valued logical operations (true, false, maybe) to handle complex logical reasoning scenarios
-
tensorlogic-compiler
Compiler for transforming logic expressions into tensor computation graphs
-
blade-util
logic for Blade applications
-
scouter-dispatch
Rust Scouter logic
-
neon-build
Build logic required for Neon projects
-
ternary_arithmetic
balanced ternary use array logic gate to arithmetic
-
vacro-analysis
Analysis logic for Vacro trace data, used by vacro-cli
-
crafter-core
Core game logic for Crafter - a Minecraft-like 2D survival game engine
-
salesforce-client
Production-grade Salesforce REST API client with OAuth auto-refresh, caching, retry logic, and rate limiting
-
partiql-logical
PartiQL Logical Model
-
basilk
A Terminal User Interface (TUI) to manage your tasks with minimal kanban logic
-
bevy_spawnable
tiny spawn utility for Bevy, to encapsulate spawn logic
-
imgfx
Image filtering and modulating with bitwise, arithmetic, and logical operations
-
fish-lib
A work-in-progress fishing game library containing the game/storage logic for a discord fishing game I'm working on
-
system_rust
hardware simulation framework inspired by SystemC for Rust. It features multithreading with a sender-receiver architecture, 4-state logic types, and logging functionality.
-
forge-rsx
macro library for declarative, JSX-like HTML generation. It allows you to write HTML structures with embedded logic, attributes, nested tags, loops, and more, directly in Rust code with a concise syntax.
-
rkubectl-app
The application logic for rkubectl, a Kubernetes CLI tool
-
scouter-error
Error logic for Scouter
-
tpex
The core TPEx logic, without any server or client implementation
-
tensorlogic-sklears-kernels
Logic-derived similarity kernels for SkleaRS integration
-
swordfish
Data-Oriented Design (DOD) Logic Layer for large scale social based simulations / games. It's designed for fast query / discrete graphs processing performance and the ease of use.
-
epicinium_lib
Rust bindings for libepicinium, the game logic library of the strategy game Epicinium
-
logicrs
logic expression
-
fuzzy_logic_engine_rs
Fuzzy logic inference engine library in Rust
-
docbox-processing
Docbox file processing logic
-
forge-core-services
Business logic services for Forge - task management, git operations, and file watching
-
abhedya-chhandas
Sanskrit Metering (Chhandas) Logic for Abhedya PQC
-
stateset-nsr
Neuro-Symbolic Reasoning (NSR) framework for hybrid AI systems combining neural networks with symbolic logic
-
logiq
A logic SAT solver
-
caw_midi
Common midi logic for the caw synthesizer framework
-
giga-chess
chess library built for performance, handling game logic and legal/best move generation
-
revolt-permissions
Revolt Backend: Permission Logic
-
surreal_devl
Contains core logic of surreal derive
-
snowprints
Generate snowflake IDs across logical volumes
-
logic-eval
logic evaluator
-
webserver-base
contains shared logic for all of my webserver projects
-
xteur
Institutional-grade RWA infrastructure. Building secure settlement logic and liquidity mobility.
-
vrp-scientific
An extension logic for solving scientific VRP
-
canvas-core
Core canvas logic for Saorsa Canvas - scene graph, state management, input handling. Compiles to WASM for universal portability.
-
mxpnexus-core
Shared business logic for MXP Nexus platform
-
rmqtt-auth-http
HTTP authentication uses a custom HTTP API as the data source, enabling flexible and complex auth logic based on its responses
-
mzcore
Core logic for handling massspectrometry in Rust
-
lemon-mbl
LeMon - Monster Battle Library is a rust crate which contains game logic for simulated monster battles. The goals are to be easily extendable with new monsters, moves, abilities, etc…
-
spacetimedb-expr
The logical expression representation for the SpacetimeDB query engine
-
folo_ffi
working with FFI logic; exists for internal use in Folo packages; no stable API surface
-
app-utils
modules for application logic (YAML, audit, timestamps)
-
partiql-logical-planner
PartiQL Logical Planner
-
sipha-parse
Parsing engine for sipha - grammar rules, parser state, and parsing logic
-
card-est-array
Infrastructure for managing large arrays of cardinality estimators
-
qsniffer
infrastructure component of the Qexed project, primarily used to validate and test the correctness of packet parsing functions. It's a development assistance tool that helps developers…
-
praborrow-lease
Lease consensus logic (Raft/Paxos). Manages distributed agreement on Sovereign lease validity.
-
pixeluvw_supabase
A production-ready, high-performance Supabase SDK for Rust with middleware, retry logic, and Arc<Inner> architecture
-
axor
Core of the Axor framework: agent-based business logic with typed operations and injection
-
rabbitmq-worker
A generic RabbitMQ worker library with built-in retry and dead-letter queue (DLQ) logic
-
creusot-std
Standard library of Creusot: provides specification macros, contracts for Rust standard library and logic helpers
-
spm_core
Core business logic for spm-swift-package
-
ltk_mod_core
Core shared logic for LeagueToolkit mod management
-
partiql-extension-visualize
Visualize PartiQL AST and Logical Plan
-
oxidd-parser
Parsers for logic file formats
-
libttl
simulating TTL logic chips
-
midstreamer-neural-solver
Temporal logic with neural reasoning
-
mlog_parse
A parser for mindustry logic
-
lolli-prove
Proof search for the Lolli linear logic workbench
-
lighty-launch
Minecraft launch logic for Lighty Launcher
-
kasane-logic
This is Kasane-logic
-
lolli-core
Core data structures for the Lolli linear logic workbench
-
logics-rs
Logics is a user-friendly formula language with a subset of Python's expression syntax
-
lolli-parse
Parser for the Lolli linear logic workbench
-
lore
Flexible logic programming
-
mireforge-advanced-game
advanced game (logic, render, audio)
-
kitsune_p2p_fetch
Kitsune P2p Fetch Pool Logic
-
logical-expressions
working with logical expressions
-
formally-smt
the open-source formal methods toolchain - SMT abstraction layer
-
trilean
Kleene's three-valued logic (boolean + unknown)
-
bitfold-protocol
Protocol logic for the Bitfold networking library
-
onechatsocial-permissions
Revolt Backend: Permission Logic
-
implies
A parser for logical formulas
-
smtlib
A high-level API for interacting with SMT solvers
-
parser_of_logic_expressions
Parser for propositional logic expressions
-
belnapian
Belnap's 4-valued logic basic building blocks in Rust
-
last_order_logic
An experimental logical language
-
quaigh
Logic optimization library
-
ggen-domain
Domain logic layer for ggen - pure business logic without CLI dependencies
-
envtestkit
Test kit for logics with environment variable involvements
-
obel_statechart
statechart plugin to implement complex game logics eg, behavior tree
Try searching with DuckDuckGo or on crates.io.