All 305,250 crates, alphabetically

logicaffeine-clilargo — the LOGOS build tool: new/init/build/run/check/verify/publish for logicaffeine projects675BUSL-1.1CompilersMathematics logicaffeine-compileLOGOS compilation pipeline - codegen and interpreter999BUSL-1.1CompilersMathematics logicaffeine-dataWASM-safe data structures and CRDTs - NO IO1,249BUSL-1.1CompilersMathematics logicaffeine-forgeCopy-and-patch JIT for LOGOS — executable-memory layer and stencil runtime (native only).54BUSL-1.1CompilersMathematics logicaffeine-jitThe LOGOS native tier — wires the copy-and-patch forge JIT into the bytecode VM (native only).45BUSL-1.1CompilersMathematics logicaffeine-kernelPure Calculus of Constructions type theory - NO LEXICON1,359BUSL-1.1CompilersMathematics logicaffeine-languageNatural language to first-order logic pipeline1,131BUSL-1.1CompilersMathematics logicaffeine-lexiconEnglish vocabulary types and compile-time lexicon lookup for logicaffeine1,250BUSL-1.1CompilersMathematics logicaffeine-lspLanguage Server Protocol implementation for LOGOS (the logicaffeine language)629BUSL-1.1CompilersMathematics logicaffeine-proofBackward-chaining proof engine (certified SAT/CDCL, tactics, Socratic hints) plus the number-theory / cryptanalysis substrate…1,242BUSL-1.1CompilersMathematics logicaffeine-runtimeDeterministic concurrency runtime (scheduler, channels, seed/trace) for the Logicaffeine interpreter and VM. Pure, WASM-safe,…73BUSL-1.1CompilersMathematics logicaffeine-systemPlatform IO, networking, persistence, and post-quantum crypto kernels (Keccak/SHA-3, ChaCha20-Poly1305, ML-KEM, ML-DSA) for LOGOS1,136BUSL-1.1CompilersMathematics logicaffeine-tvSMT translation validation: prove emitted Rust is observationally equivalent to LOGOS source33BUSL-1.1CompilersMathematics logicaffeine-verifyZ3-based static verification for Logicaffeine (requires Pro+ license)219BUSL-1.1CompilersMathematics logicalLibrary for simulating digital circuit networks.3,438GPL-3.0 logical-expression-pest-parserThis crate parses strings of logical expression using `pest` crate. It returns a truth table showing all input combinations with…144MITCommand line utilitiesParsing tools logical-expressionsA library for working with logical expressions2,998MIT OR Apache-2.0 logical-pathTranslate canonical (symlink-resolved) filesystem paths back to their logical (symlink-preserving) equivalents34MITCommand line utilitiesFilesystem logical-systemsModbus TCP server with GUI1,679Apache-2.0 logical_clockModern logical clocks implementation in Rust5,898MIT logical_expression_parserThis is a simple logical expression parser written in Rust using pest library2,727MIT logical_gateA logic gate crate.4,082GPL-3.0 logical_solverRust based logic parser, evaluator, and truth table constructor!1,595GPL-3.0MathematicsParsing tools logicfuzzy_academicPure-Rust Fuzzy Inference System (Mamdani + TSK) with PSO optimizer — zero external dependencies165MITAlgorithmsScience logicgateImplementation of logic gates with NAND gates as the underlying layer Turing Complete7,263MIT logicianType-safe SMT solver driver with fluent Term API, multi-solver fallback, and process watchdog25MITDevelopment toolsMathematics logiclibVLSI compiled logic library for sequential and combinational cells.6,487AGPL-3.0-only logiclineLogic processing engine7,943Apache-2.0 logiclongSupercell's Logic Long implemented in Rust1,579MIT logicmapSimple computational boolean logic data structure3,124MIT logicngA Library for Creating, Manipulating, and Solving Boolean Formulas10,849MIT OR Apache-2.0AlgorithmsData structures logicng-open-wbo-sysLogicNG Bindings for OpenWBO4,563MIT OR Apache-2.0External FFI bindings logicpearlRust-first CLI for building, inspecting, and running LogicPearl artifacts.95MIT logicpearl-benchmarkBenchmark case adapters and scoring helpers for LogicPearl.184MIT logicpearl-buildShared LogicPearl build orchestration and provenance assembly.61MIT logicpearl-conformanceConformance receipts, manifests, and runtime parity checks for LogicPearl.142MIT logicpearl-coreCore types, errors, and shared primitives for LogicPearl.657MIT logicpearl-discoveryArtifact discovery and rule recovery from labeled LogicPearl decision traces.173MIT logicpearl-engineLibrary-level execution facade for LogicPearl artifacts and pipelines.55MIT logicpearl-explainPlaceholder crate reserved for future LogicPearl explanation and counterfactual APIs.19MIT logicpearl-irInspectable intermediate representation for LogicPearl artifacts.466MIT logicpearl-observerConfigurable native observers and phrase matching helpers for LogicPearl.186MIT logicpearl-observer-synthesisObserver phrase mining and solver-backed signal synthesis for LogicPearl.141MIT logicpearl-pipelineString-of-pearls pipeline artifacts and execution for LogicPearl.188MIT logicpearl-pluginPlugin manifest and stage contracts for LogicPearl integrations.266MIT logicpearl-policyPlaceholder crate reserved for future LogicPearl policy authoring and interchange APIs.20MIT logicpearl-renderRendering helpers for LogicPearl artifacts and verification status.142MIT logicpearl-runtimeDeterministic runtime evaluator for LogicPearl artifacts.350MIT logicpearl-schemaPlaceholder crate reserved for future LogicPearl schema and format APIs.20MIT logicpearl-solverInternal solver backend abstraction for LogicPearl search and verification.232MIT logicpearl-verifySolver-backed verification helpers for LogicPearl discovery and conformance.228MIT logicpearl-wasmPlaceholder crate reserved for future LogicPearl WebAssembly packaging and bindings.19MIT logicrsRust library for logic expression3,546MIT logics-rsLogics is a user-friendly formula language with a subset of Python's expression syntax1,329MITCommand line utilitiesCompilers logicsimcomposable, modular, digital logic simulation10,946MITEmbedded developmentSimulation logicuniverseUniversal Tri-Axial Fractal Topology (ZYModel) implementation in Rust.21Apache-2.0CompilersDevelopment tools logidRust logging framework using IDs to identify log entries.24,027MITDevelopment tools::Debugging logid-coreCore for the [logid](https://crates.io/crates/logid) logging framework.11,203MIT logid-deriveProvides derive macros for the [logid](https://crates.io/crates/logid) logging framework.11,899MIT logidizeA lightweight and performant logging utility2,441MITDevelopment tools::Debugging logiexpertlogiexpert1,677MIT logifyA high-performance, portable boolean logic engine. Turns abstract logic into optimized data structures that can be…25MITAlgorithmsCaching logigateA deterministic, memory-safe compliance and liability gating pipeline architecture written in Rust.18Apache-2.0Development toolsEmbedded development logikCalculator for propositional logic formulas1,513GPL-3.0-or-later logikaEmbedded workflow engine facade13MIT logika-cliCommand-line interface for logika workflows26MIT logika-coreCore domain types and traits for logika50MIT logika-registryNode and plugin registry for logika35MIT logika-sdkRust SDK for logika node authors30MIT logika-sdk-macrosDerive macros for logika-sdk35MIT logika-storePersistence contracts for logika30MIT logika-workflowWorkflow document model and validation for logika47MIT logiledgerBlockchain-based Accounting Information System1,541MIT logimeshlogimesh is a Rust RPC Microservice 2.0 framework.10,663MITAsynchronousNetwork programming logimesh-macrologimesh-macro is Proc macros for logimesh.9,951MITAsynchronousNetwork programming login-poweroff-rebootPoweroff or reboot machine using dbus interface logind10,315MIT login_appA generic login module for web apps8,464MITWeb programming::HTTP clientWeb programming::HTTP server login_app_2Login App version 2 (Authentication) using Warp, HTTPS, Multilingual1,755MITWeb programming::HTTP client login_capRust API for OpenBSD's login_cap3,767BSD-4-ClauseAPI bindings login_cap-sysMinimal Rust bindings for OpenBSD's login_cap4,484BSD-4-ClauseExternal FFI bindings logind-dbusCommunicate with the LoginManager DBus API9,112MITOperating systems::Unix APIs logind-zbusA dbus client (using zbus) for logind630,870Apache-2.0 WITH LLVM-exception OR Apache-2.0 OR MITOperating systems::Unix APIs logind-zbus-tokioA dbus client (using zbus) for logind6,094MPL-2.0Operating systems::Unix APIs loginitinit log for tracing use tracing_subscriber52,626MulanPSL-2.0 loginmanagera loginmanager for axum8,041MIT OR Apache-2.0 loginmanager-codegenThe macro for actix-loginmanager2,521MIT OR Apache-2.0 logiolibrary for logging all things stdio655MIT OR Apache-2.0 logioceanA Library for Automated Financial Modelling1,519MIT logion-sharedImplements logion shared components.5,429Apache-2.0 logiops-coreHID++ protocol implementation and device features152GPL-2.0 logiops-daemonLogitech device configuration daemon64GPL-2.0 logiqA logic SAT solver734GPL-3.0AlgorithmsCommand line utilities logireumBlockchain-based Financial Modelling1,532MIT logiscriptA simple script for building and testing LogiSheets1,774MIT logiseologiseo1,713MIT logisheets-rsThe Rust API for LogiSheets — a spreadsheet engine that reads, edits, and writes .xlsx117MITData structuresParser implementations logisheets_astcheckervalidate the arguments in ast6,462MIT logisheets_basesome basic definitions for LogiSheets13,276MIT logisheets_controllerthe core of LogiSheets11,383MIT logisheets_derivesmacros that help LogiSheets serde the xml files7,630MIT logisheets_lexerthe lexer for excel formula13,041MIT logisheets_lexer4fmtthe lexer for excel formula, used for formula display and suggestions259MIT logisheets_parserthe parser of excel formula12,571MIT logisheets_workbookTools for LogiSheets to unarchive and write .xlsx file13,701MIT logisheets_workbook_derivesmacros that help LogiSheets serde the xml files8,066MIT logisheets_xmlserderead and write the ooxml files4,239MIT logistics-apiTrack your packages from all over the world. Supports logicsitcs from DHL, UPS, FedEx, USPS, and more.8,688MITAccessibilityNetwork programming logit-loomComposable Rust token-stream transforms, observers, and receipts43MIT OR Apache-2.0AlgorithmsAPI bindings logit-loom-coreBackend-neutral contracts for mechanistic token-stream manipulation48MIT OR Apache-2.0AlgorithmsAPI bindings logit-loom-llamacppllama.cpp adapter for Logit Loom token-stream mechanics35MIT OR Apache-2.0API bindingsExternal FFI bindings logit_libLogger Functionality with File logs1,317GPL-3.0 logitech-cveA Rust library for interacting with Logitech virtual driver.3,944MIT OR Apache-2.0API bindingsOperating systems::Windows APIs logitech-lcdRust bindings for the Logitech Gaming LCD/Gamepanel SDK.6,816MIT/Apache-2.0 logitech-lcd-sysFFI bindings and loader for the Logitech LCD SDK.9,334MIT/Apache-2.0 logitech-led-sdkA Rust binding for the Logitech LED SDK2,862MIT OR Apache-2.0API bindings logitech-led-sdk-sysA low level Rust binding for the Logitech LED SDK3,385MIT OR Apache-2.0External FFI bindings logixAn experimental command-line tool for simplified and enhanced configuration management across multiple systems.11,303MIT OR Apache-2.0Command line utilitiesConfiguration logix-typeProvides the `LogixType` trait and the parser for `.logix` files, aimed at enabling easy-to-read-and-write configurations for…25,641MIT OR Apache-2.0ConfigurationParser implementations logix-type-deriveDerive crate for logix-type, not intended to be used by anyone directly25,985MIT OR Apache-2.0 logix-vfsA virtual file system abstraction used by logix17,706MIT OR Apache-2.0Filesystem logix-xtaskhelper library that provides `cargo xtask` functionality for the Logix crates.5,172MIT OR Apache-2.0 logkitSuper fast, structured, scalable logging library for Rust29,904MIT logladyThe Log Lady1,834GPL-3.0 loglens-coreA lightning-fast, structured log parsing and query engine (JSON/Logfmt). Powers the LogLens CLI.161MITCommand-line interfaceParsing tools logletA lightweight zero-heap logging library61MITDevelopment tools::Debugging loglevelSimple way to set your log level3,253Apache-2.0Command-line interface loglineLogLine: full stack bundle (TDLN + JSON✯Atomic + LogLine core + LLLV) with CLI.240MITAlgorithmsCryptography logline-coreThe Conceptual Atom of Verifiable Action — LogLine Protocol implementation1,989MITCryptographyData structures loglinkSend logs to a remote server308GPL-3.0 logliteSimple and lite logging facility1,578MIT loglogA simple and usable logger11,236MITDevelopment tools::Debugging loglogdDistributed replicated binary log1,569MPL-2.0 loglyHigh-performance, structured logging library with async support, rotation, filtering, and GPU/CPU optimization4,895MITDevelopment tools::Debugging logmaLogma? What's Logma? LOGMA TEXT12,014non-standardCommand-line interface logmachineCollaborative, beautiful logging system for distributed developers34MITDevelopment tools logmapA concurrent hashmap using a log for buckets3,341MIT logmvLogged atomic file move and trash with an append-only JSON-Lines audit trail20MIT OR Apache-2.0Command line utilitiesFilesystem lognavA fast, keyboard-driven terminal log viewer for any log format27MIT OR Apache-2.0Command line utilities lognplotLog and plot data1,874GPL-3.0-only logoinit log env quickly8,677MIT logo-artConvert images to Unicode/True Color ANSI art for terminal display4,956MITCommand-line interfaceMultimedia::Images logo-eguiSimple GUI for Logo programming language, primarily used for testing & debugging purposes1,509MIT logo-interpImplements parsing and interpreting of Logo programming language3,381MIT logo-parserA library for parsing custom logo and color configurations from JSON files for LynxFetch237GPL-3.0-or-later logo-rendererImplements a simple CPU renderer for logo-runtime crate2,479MIT logo-runtimeImplements the runtime for graphic functionality of Logo programming language2,922MIT logo-webWeb-based IDE for Logo programming language1,569MIT logoligPure domain types and image processing services for logolig (no GUI).104Apache-2.0 logolig-appLocal-first, ABDD-compliant favicon generator GUI (binary: logolig).71Apache-2.0 logolig-i18nTranslations for logolig. Translates `logolig::MessageKey` to localized strings.89Apache-2.0 logomotionmacro-based logging framework for rust1,312MIT OR Apache-2.0 logoneA command-line tool that parses Nix's --log-format json-internal output as standalone and crate library2,176MIT OR Apache-2.0Development tools::Debugging logopsisLexical-search extension over a metatheca vault: BM25 over a content-addressed inverted index, queryable at any historical…17MIT OR Apache-2.0Command line utilitiesText processing logosCreate ridiculously fast Lexers64,231,620MIT OR Apache-2.0Parsing toolsText processing logos-cliCreate ridiculously fast Lexers7,780MIT OR Apache-2.0Parsing toolsText processing logos-cli2Create ridiculously fast Lexers7,279MIT OR Apache-2.0Parsing toolsText processing logos-codegenCreate ridiculously fast Lexers50,378,217MIT OR Apache-2.0Parsing toolsText processing logos-codegen2Create ridiculously fast Lexers7,482MIT OR Apache-2.0Parsing toolsText processing logos-deriveCreate ridiculously fast Lexers64,214,580MIT OR Apache-2.0Parsing toolsText processing logos-derive2Create ridiculously fast Lexers7,452MIT OR Apache-2.0Parsing toolsText processing logos-displayA derive macro to automatically define the Display trait based on logos `token` and `regex` attributes.10,427MITDevelopment toolsEncoding logos-iterExtensions for Logos lexer96,044MIT OR Apache-2.0Parsing tools logos-nom-bridgeImplement nom parsers using logos tokens2,387MIT OR Apache-2.0Parsing tools logos-scaffoldRust CLI for bootstrapping LSSA program_deployment projects in standalone mode45MIT OR Apache-2.0 logos2Create ridiculously fast Lexers8,991MIT OR Apache-2.0Parsing toolsText processing logosaurusLogging implementation modeled after the Go standard library's log package.16,238MIT logoskyA seamless integration layer between Logos lexer and Chumsky parser combinator, providing zero-copy TokenStream adapter and…14,694MIT OR Apache-2.0No standard libraryParsing tools logosqThis project is a quantum computing library developed in Rust, inspired by existing libraries such as QPP in C++, Yao.jl in…3,429MIT logosq-algorithmsOptimized quantum algorithms for LogosQ framework25MITAlgorithmsScience logosq-error-mitigatorReal-time quantum error mitigation for NISQ devices22MITScienceSimulation logosq-hardware-integratorHardware backend integration for LogosQ quantum computing framework23MITAPI bindingsScience logosq-noise-modelerQuantum noise modeling and simulation for LogosQ24MITScienceSimulation logosq-optimizerClassical optimizers for variational quantum algorithms22MITAlgorithmsMathematics logosq-os-schedulerQuantum-classical task scheduler for LogosQ Quantum OS20MITAsynchronousConcurrency logpInformation theory primitives: entropy, KL divergence, mutual information (KSG estimator), and information-monotone divergences15,050MIT OR Apache-2.0AlgorithmsMathematics logparseparse arbitrary messages containing rust-like debug output to syntax highlight them135MIT OR Apache-2.0 logparse-pretty-printpretty print tree114MPL-2.0 logpeekA logger implementation for the log crate. Meant to integrate with logpeek-server.4,081MIT OR Apache-2.0Development tools::Debugging logpileA fast CLI tool to search logs by regex, bucket matches by time, and visualize patterns with charts784MITCommand line utilitiesDevelopment tools logpilotAI-Native tmux Log Copilot for Support Incident Tracking90MIT OR Apache-2.0Command line utilitiesDevelopment tools logprobA wrapper around floats to handle log probabilities4,485MIT OR Apache-2.0MathematicsNo standard library logprobeDetect normalization errors, entropy bias, and truncation artifacts in LLM logprob data56MITCommand line utilitiesScience logproxA blazing-fast HTTP proxy with conditional logging and request control209GPL-3.0Network programmingWeb programming::HTTP server logpulseHigh-performance TUI log analyzer with smart format detection57MITCommand line utilitiesDevelopment tools logqA web-server log file command line toolkit with SQL interface27,903Apache-2.0 OR BSD-3-ClauseCommand line utilities logqllogql parser11,294MIT logrLogging for men12,675MIT logramUtility that takes logs from anywhere and sends them to Telegram16,219MIT logreduce-tokenizerA tokenizer function for the logreduce project.1,658Apache-2.0CompressionDevelopment tools logriaA powerful CLI tool that puts log analytics at your fingertips.11,548GPL-3.0-or-laterCommand-line interfaceCommand line utilities logrokTerminal-based logfile viewer that cuts to the chase.1,700MITCommand line utilitiesText editors logrollerA feature-rich log rotation library with timezone support, flexible rotation strategies, and compression, integrating seamlessly…410,930MITDevelopment tools::Debugging logrotateCli tool for rotating / archiving files within specified directory.600Apache-2.0Command line utilities logrsRecord-keeping or diary tool.2,105MIT logruA small, embeddable and fast interpreter for a subset of Prolog.4,473MIT OR Apache-2.0AlgorithmsCompilers logrustateEvent driven logrotate implementation2,000BSD-3-Clause logrustate-cliA modern, drop-in replacement for logrotate — written in Rust16MIT logsA simple terminal logger43,868MIT logs-analCommand line logs analytics tool.1,717MITCommand line utilities logs-locally-pluginRead Claude Code session JSONL files and persist them to a local SQLite database for querying and analysis243MIT