All 305,250 crates, alphabetically

oxiphysics-wasmWebAssembly bindings for the OxiPhysics engine116Apache-2.0ScienceSimulation oxipkxZero-dependency parser for id Tech 3/4 PK3/PK4 files (Quake III, Doom 3).16MITGame developmentParser implementations oxiplateCompile-time template engine with a focus on escaping, helpful error messages, and whitespace control.24,601MIT OR Apache-2.0Template engine oxiplate-deriveOxiplate's derive macro that provides a compile-time template engine with a focus on helpful error messages and whitespace…25,161MIT OR Apache-2.0Template engine oxiplate-traitsTraits used by Oxiplate and Oxiplate-related libraries.1,853MIT OR Apache-2.0Template engine oxiplumeOxiPlume is a small rust api wrapper for the api Plume API for Sodium Labs. It is a simple wrapper that allows you to interact…734MIT oxipngA lossless PNG compression optimizer1,640,020MITCommand line utilitiesCompression oxipng-wasmA lossless PNG compression optimizer1,358MITCommand line utilitiesCompression oxiprojOxiProj — the COOLJAPAN Pure-Rust cartographic library (a Pure-Rust port of PROJ).120Apache-2.0MathematicsScience::Geospatial oxiproj-coreFoundation types for OxiProj: coordinates, errors, ellipsoids, datums, and units.291Apache-2.0MathematicsScience::Geospatial oxiproj-crsISO-19111 coordinate reference system model and WKT support for OxiProj.162Apache-2.0Parsing toolsScience::Geospatial oxiproj-dbproj.db (EPSG) reader for OxiProj.75Apache-2.0Database interfacesScience::Geospatial oxiproj-engineProj-string parser, operation dispatch, and transformation pipelines for OxiProj.181Apache-2.0Parsing toolsScience::Geospatial oxiproj-geodesicKarney geodesic algorithms for OxiProj (geodesic distance, direct/inverse problems).251Apache-2.0MathematicsScience::Geospatial oxiproj-gridsGrid file format readers (NTv2/GTX/GeoTIFF) and datum-shift interpolators for OxiProj214Apache-2.0Parser implementationsScience oxiproj-projectionsMap projections for OxiProj (Mercator, transverse Mercator, Lambert, and more).197Apache-2.0MathematicsScience::Geospatial oxiproj-transformationsDatum transformations and coordinate conversions for OxiProj.201Apache-2.0MathematicsScience::Geospatial oxiprotoPure Rust protobuf toolkit (no protoc)125Apache-2.0Encoding oxiproto-buildPure Rust .proto → Rust codegen (no protoc required)196Apache-2.0Development tools oxiproto-cliOxiProto CLI: compile .proto files to plain Rust structs without protoc63Apache-2.0Command line utilitiesDevelopment tools oxiproto-codegenPure Rust protobuf code generator from FileDescriptorSet to Rust structs/enums171Apache-2.0Development tools oxiproto-corePure Rust protobuf core types305Apache-2.0Data structuresEncoding oxiproto-jsonCanonical Protobuf-JSON mapping for OxiProto (camelCase, base64 bytes, RFC3339 timestamps)105Apache-2.0Encoding oxiproto-reflectRuntime protobuf reflection for OxiProto via prost-reflect145Apache-2.0Data structuresEncoding oxiproto-wktWell-Known Types interop for OxiProto140Apache-2.0Date and timeEncoding oxiquantA high-performance, oxidized quantitative finance library in Rust18Apache-2.0 oxiquicOxiQUIC Pure-Rust QUIC facade for the COOLJAPAN ecosystem.99Apache-2.0AsynchronousNetwork programming oxiquic-coreOxiQUIC core types: error, StreamId, ConnectionStats.255Apache-2.0AsynchronousNetwork programming oxiquic-cryptoOxiQUIC crypto bridge: Pure-Rust rustls CryptoProvider over OxiCrypto with QUIC packet/header protection (RFC 9001), zero…257Apache-2.0CryptographyNetwork programming oxiquic-h3OxiQUIC HTTP/3 bridge (M3+ feature placeholder).169Apache-2.0Network programmingWeb programming oxiquic-transportOxiQUIC transport: Pure-Rust QUIC (RFC 9000/9001/9002) over rustls + tokio UDP, zero ring/aws-lc-rs.228Apache-2.0AsynchronousNetwork programming oxiragA four-layer RAG engine with SMT-based logic verification and knowledge graph support2,214Apache-2.0AsynchronousText processing oxirast-cliA fast, fine-grained WebAssembly frontend framework for Rust.110MITWebAssemblyWeb programming oxirast-coreA fast, fine-grained WebAssembly frontend framework for Rust.82MITWebAssemblyWeb programming oxirast-parserA fast, fine-grained WebAssembly frontend framework for Rust.46MITWebAssemblyWeb programming oxiriSimple and fast implementation of IRI validation and relative IRI resolution1,149,466MIT OR Apache-2.0 oxirouterAutonomous Semantic Federation Engine for the Edge - Learned source selection for SPARQL federated queries with context-awareness15Apache-2.0No standard libraryScience oxirpcPure-Rust gRPC facade — client + server + no-protoc codegen94Apache-2.0AsynchronousNetwork programming oxirpc-adapter-aws-lcOxiRPC adapter: aws-lc-rs backed rustls CryptoProvider100Apache-2.0CryptographyNetwork programming oxirpc-buildBuild-time proto compiler for OxiRPC — no protoc required111Apache-2.0Development tools oxirpc-clientOxiRPC client: plaintext channel builder, TLS, metrics107Apache-2.0AsynchronousNetwork programming oxirpc-coreCore types and error for OxiRPC282Apache-2.0AsynchronousNetwork programming oxirpc-healthgRPC Health Checking (v1) service wrapper for OxiRPC117Apache-2.0AsynchronousNetwork programming oxirpc-reflectgRPC server reflection (v1 + v1alpha) wrapper for OxiRPC122Apache-2.0AsynchronousNetwork programming oxirpc-serverOxiRPC server: plaintext server builder with graceful shutdown104Apache-2.0AsynchronousNetwork programming oxirpc-webgRPC-Web bridge layer for OxiRPC (base64 framing + CORS headers)96Apache-2.0AsynchronousNetwork programming oxirsCommand-line interface for OxiRS - import, export, migration, and benchmarking tools1,391Apache-2.0Command line utilitiesDatabase interfaces oxirs-arqJena-style SPARQL algebra with extension points and query optimization1,535Apache-2.0AlgorithmsData structures oxirs-canbusCANbus/J1939 protocol support for OxiRS semantic web platform243Apache-2.0Database interfacesEmbedded development oxirs-chatRAG chat API with LLM integration and natural language to SPARQL translation1,191Apache-2.0AlgorithmsScience oxirs-clusterRaft-backed distributed dataset for high availability and horizontal scaling1,281Apache-2.0ConcurrencyDatabase interfaces oxirs-coreCore RDF and SPARQL functionality for OxiRS - native Rust implementation with zero dependencies4,879Apache-2.0Data structuresDatabase interfaces oxirs-didW3C DID and Verifiable Credentials implementation with Signed RDF Graphs for OxiRS203Apache-2.0AuthenticationCryptography oxirs-embedKnowledge graph embeddings with TransE, ComplEx, and custom models1,570Apache-2.0AlgorithmsData structures oxirs-federateSERVICE planner and GraphQL stitching for federated SPARQL queries942Apache-2.0AlgorithmsDatabase interfaces oxirs-fusekiSPARQL 1.1/1.2 HTTP protocol server with Fuseki-compatible configuration1,220Apache-2.0Database interfacesNetwork programming oxirs-geosparqlGeoSPARQL implementation for spatial data and queries537Apache-2.0AlgorithmsData structures oxirs-gqlGraphQL façade for OxiRS with automatic schema generation from RDF ontologies1,602Apache-2.0API bindingsDatabase interfaces oxirs-graphragGraphRAG: Hybrid Vector + Graph Retrieval-Augmented Generation for OxiRS189Apache-2.0Database interfacesScience oxirs-modbusModbus TCP/RTU/ASCII/TLS protocol support for OxiRS semantic web platform247Apache-2.0Database interfacesEmbedded development oxirs-physicsPhysics-informed digital twin simulation bridge for OxiRS234Apache-2.0ScienceSimulation oxirs-ruleForward/backward rule engine for RDFS, OWL, and SWRL reasoning1,334Apache-2.0AlgorithmsData structures oxirs-sammSemantic Aspect Meta Model (SAMM) implementation for OxiRS847Apache-2.0Data structuresParser implementations oxirs-shaclSHACL Core + SHACL-SPARQL validator for RDF data validation1,917Apache-2.0Data structuresParser implementations oxirs-shacl-aiAI-powered shape induction and data repair suggestions for SHACL validation967Apache-2.0AlgorithmsData structures oxirs-starRDF-star and SPARQL-star grammar support for quoted triples1,331Apache-2.0Data structuresDatabase interfaces oxirs-streamReal-time streaming support with Kafka/NATS/MQTT/OPC-UA I/O, RDF Patch, and SPARQL Update delta1,423Apache-2.0AsynchronousDatabase interfaces oxirs-tauriOxiRS desktop application — chat UI, visual SPARQL query builder, CAN bus monitor29Apache-2.0GUIWeb programming oxirs-tdbApache Jena TDB/TDB2 compatible RDF storage engine with B+Tree indexes1,333Apache-2.0Data structuresDatabase interfaces oxirs-tsdbTime-series optimizations for OxiRS semantic web platform270Apache-2.0AlgorithmsCompression oxirs-ttlTurtle-family RDF parser and serializer for OxiRS - ported from Oxigraph1,802Apache-2.0Data structuresEncoding oxirs-vecVector index abstractions for semantic similarity and AI-augmented querying1,898Apache-2.0AlgorithmsData structures oxirs-wasmWebAssembly bindings for OxiRS - Run RDF/SPARQL in the browser193Apache-2.0Database interfacesWebAssembly oxirushoxirush is a next-generation 5G Core Network tester756AGPL-3.0-or-later oxirush-nasoxirush-nas is a 5G NAS Message encoder/decoder library2,705Apache-2.0 oxirush-ngap5G NGAP (NG Application Protocol) APER codec — auto-generated from 3GPP ASN.1 definitions1,977Apache-2.0EncodingNetwork programming oxirush-security5G security algorithms — KDF, NIA1/2/3, NEA0/1/2/3, SUCI concealment per TS 33.501911Apache-2.0CryptographyNetwork programming oxisOXIS — Open eXtensible Instruments & Statistics: a validated quantitative-finance library, CLI, and REPL.32MIT OR Apache-2.0Command line utilitiesFinance oxis-cliCommand-line interface and REPL for OXIS, a validated quantitative finance library in Rust. Name reserved; under active…17MIT OR Apache-2.0Command line utilitiesMathematics oxis-coreStable core types and numerics for OXIS, a validated quantitative finance library in Rust. Name reserved; under active…17MIT OR Apache-2.0MathematicsScience oxis-greeksOption Greeks for OXIS, a validated quantitative finance library in Rust. Name reserved; under active development.17MIT OR Apache-2.0MathematicsScience oxis-pricingOption pricing models (Black-Scholes, binomial, Monte Carlo) for OXIS, a validated quantitative finance library in Rust. Name…16MIT OR Apache-2.0MathematicsScience oxischemeA Scheme implementation, in rust.6,523Apache-2.0 oxishutA small logout prompt written in rust.1,485GPL-3.0-only oxismetA mass encryption tool for servers127GPL-3.0-or-later oxisoundOxiSound — COOLJAPAN Pure-Rust audio device I/O facade108Apache-2.0Multimedia::Audio oxisound-coreCore traits and types for OxiSound240Apache-2.0Multimedia::Audio oxisound-cpalcpal-backed audio device implementation for OxiSound125Apache-2.0Multimedia::Audio oxisound-jackDirect JACK Audio Server client for OxiSound, providing zero-latency audio via the JACK process callback89Apache-2.0Multimedia::Audio oxisound-midiMIDI device I/O implementation for OxiSound, backed by midir101Apache-2.0Multimedia::Audio oxisound-oscOpen Sound Control (OSC) protocol implementation for oxisound100Apache-2.0Multimedia::AudioNetwork programming oxisound-sessionOxiSound — platform audio session management (iOS/macOS AVAudioSession)81Apache-2.0Multimedia::Audio oxisound-smfStandard MIDI File (SMF) parser and player for oxisound101Apache-2.0Multimedia::AudioParser implementations oxisqlOxiSQL — Pure-Rust SQL facade: connect to in-memory, embedded, or wire-protocol databases with a single API444Apache-2.0AsynchronousDatabase interfaces oxisql-coreCore traits and types for OxiSQL — the COOLJAPAN Pure-Rust SQL facade1,469Apache-2.0AsynchronousDatabase interfaces oxisql-datafusionApache DataFusion TableProvider over oxisql Connection — enables OLAP SQL queries against oxisql-backed tables199Apache-2.0AsynchronousDatabase interfaces oxisql-embeddedEmbedded in-memory SQL backend for OxiSQL — powered by GlueSQL329Apache-2.0Database interfacesEmbedded development oxisql-migrateDirectory-based SQL migration runner for OxiSQL — sqlparser filename convention, gluesql embedded tracker205Apache-2.0Database interfaces oxisql-mysqlPure-Rust MySQL backend for OxiSQL via mysql_async + OxiTLS (no libmysqlclient, no OpenSSL)267Apache-2.0AsynchronousDatabase interfaces oxisql-parseSQL parsing utilities for OxiSQL — thin sqlparser facade498Apache-2.0Database interfacesParsing tools oxisql-poolAsync connection pooling for OxiSQL — deadpool-postgres, custom MySQL manager, embedded no-op (Pure Rust)258Apache-2.0AsynchronousDatabase interfaces oxisql-postgresPure-Rust PostgreSQL backend for OxiSQL via tokio-postgres + OxiTLS (no libpq, no OpenSSL)272Apache-2.0AsynchronousDatabase interfaces oxisql-sqlite-compatPure-Rust SQLite-compatible backend for OxiSQL via the oxisqlite Pure-Rust engine (C-free fork of limbo)1,524Apache-2.0Database interfaces oxisqliteoxisqlite Pure-Rust SQLite-compatible engine (C-free fork of limbo)2,180Apache-2.0Database interfacesEmbedded development oxisqlite-coreoxisqlite-core — core engine of the Pure-Rust SQLite-compatible oxisqlite fork (C-free)1,827Apache-2.0Database interfacesEmbedded development oxisqlite-extoxisqlite-ext — extension API for the Pure-Rust oxisqlite engine (C-free fork of limbo)1,869Apache-2.0Database interfaces oxisqlite-macrosoxisqlite-macros — proc-macros for the Pure-Rust oxisqlite engine (C-free fork of limbo)1,899Apache-2.0Database interfacesDevelopment tools::Procedural macro helpers oxisqlite-sqlite3-parserSQL parser (as understood by SQLite)1,822Apache-2.0Parser implementations oxisqlite-timeoxisqlite-time — time extension for the Pure-Rust oxisqlite engine (C-free fork of limbo)1,797Apache-2.0Database interfacesDate and time oxisqlite-uuidoxisqlite-uuid — UUID extension for the Pure-Rust oxisqlite engine (C-free fork of limbo)1,807Apache-2.0Data structuresDatabase interfaces oxistoreOxiStore — Pure Rust storage facade: KV, columnar, and blob abstractions98Apache-2.0Database implementations oxistore-blobOxiStore blob storage: BlobStore trait + local/memory backends199Apache-2.0Database implementationsFilesystem oxistore-blob-azureAzure Blob Storage BlobStore adapter for OxiStore (Pure Rust, HMAC-SHA256 Shared Key)88Apache-2.0API bindingsDatabase interfaces oxistore-blob-gcsGoogle Cloud Storage BlobStore adapter for OxiStore (Pure Rust, OAuth2 RS256 JWT)87Apache-2.0API bindingsDatabase interfaces oxistore-blob-s3S3 BlobStore backend for the COOLJAPAN ecosystem (Pure-Rust, ring-free).92Apache-2.0AsynchronousFilesystem oxistore-cacheOxiStore cache eviction primitives: Pure-Rust LRU and full ARC (Adaptive Replacement Cache)104Apache-2.0AlgorithmsData structures oxistore-columnarOxiStore columnar storage: Parquet read/write via Arrow RecordBatch with OxiARC compression158Apache-2.0Database implementations oxistore-compressCompression codec bridge for OxiStore — Pure Rust via OxiARC (oxiarc-deflate)103Apache-2.0CompressionDatabase implementations oxistore-coreCore traits and error types for OxiStore — Pure Rust storage abstraction layer381Apache-2.0Database implementationsFilesystem oxistore-encryptCell-level AEAD encryption decorator for OxiStore KV stores (XChaCha20-Poly1305)98Apache-2.0CryptographyDatabase implementations oxistore-kv-fjallLSM-tree KV store backend for OxiStore via fjall (Pure Rust)128Apache-2.0Database implementations oxistore-kv-redbredb backend for OxiStore — Pure Rust embedded key-value store138Apache-2.0Database implementations oxistore-kv-sledsled backend for OxiStore — Pure Rust embedded key-value store121Apache-2.0Database implementations oxisynthRust soundfont synthesizer21,884LGPL-2.1 oxisynth-chorusChorus for soundfont synthesizer6,612LGPL-2.1 oxisynth-reverbReverb for soundfont synthesizer6,625LGPL-2.1 oxitalChess engine534non-standard oxitermA blazing-fast, memory-safe, cross-platform terminal emulator built from the ground up in Rust.16MIT OR Apache-2.0Command line utilitiesDevelopment tools oxitextPure-Rust text rendering pipeline (facade): shape → layout → raster271Apache-2.0GraphicsRendering oxitext-coreCore traits and value types for OxiText408Apache-2.0GraphicsRendering oxitext-icuICU4X-backed CLDR segmentation and locale-aware collation for OxiText143Apache-2.0Internationalization (i18n)Text processing oxitext-layoutText layouter for OxiText: LTR/RTL bidi, UAX #14 line-break, vertical CJK (M1/M2)284Apache-2.0GraphicsText processing oxitext-rasterFontdue-based glyph rasterizer for OxiText321Apache-2.0GraphicsRendering oxitext-sdfSigned-distance-field glyph atlas generation for OxiText139Apache-2.0GraphicsRendering oxitext-shapeSwash-based text shaper for OxiText278Apache-2.0GraphicsText processing oxitimeOxitime is a fast, minimal, and terminal-native Pomodoro time tracker built with the Rust programming language.565MIT oxitlsOxiTLS — Pure-Rust TLS facade (rustls + RustCrypto, zero FFI by default)1,161Apache-2.0CryptographyNetwork programming oxitls-adapter-aws-lcOxiTLS adapter: aws-lc-rs backed rustls CryptoProvider105Apache-2.0CryptographyNetwork programming oxitls-adapter-pkcs11OxiTLS adapter: PKCS#11 HSM/TPM backed rustls SigningKey via cryptoki103Apache-2.0CryptographyNetwork programming oxitls-adapter-rustls-rustcryptoOxiTLS adapter: rustls + RustCrypto CryptoProvider (pure Rust TLS)1,255Apache-2.0CryptographyNetwork programming oxitls-coreCore traits and types for OxiTLS1,372Apache-2.0CryptographyNetwork programming oxitls-h2OxiTLS HTTP/2 binding — h2 over tokio-rustls TLS streams114Apache-2.0CryptographyNetwork programming oxitls-native-certsOxiTLS OS-native certificate-store adapter (Security.framework / SChannel FFI, opt-in quarantine crate)27Apache-2.0CryptographyNetwork programming oxitls-rcgenPure-Rust certificate generation for OxiTLS — rcgen bridge backed by OxiCrypto signing keys (Ed25519, ECDSA-P256), zero…360Apache-2.0CryptographyNetwork programming oxitls-rustcrypto-providerPure-Rust RustCrypto rustls CryptoProvider with the RUSTSEC-2026-0104 fix (rustls-webpki CRL-panic): webpki dependency removed,…214MIT OR Apache-2.0CryptographyNo standard library oxitls-rustls-providerFIPS/CNSA 2.0 rustls CryptoProvider backed by oxicrypt — reserved namespace19Apache-2.0CryptographyNo standard library oxitls-webpki-mldsaML-DSA-87 signature verification adapter for rustls-webpki — under active development19Apache-2.0CryptographyNo standard library oxitls-webpki-rootsOxiTLS webpki trust anchors — Mozilla CA bundle, pure Rust1,272Apache-2.0CryptographyNetwork programming oxitokenFastest and most secure JWT encoding/validation library for Rust. Fully supports custom header/claims structs, an extendable…53Apache-2.0 WITH LLVM-exceptionAuthenticationCryptography oxitrafficSelf-hosted, simple and privacy respecting website traffic tracker48,232AGPL-3.0 oxitsTime series classification and transformation library for Rust26MITAlgorithmsScience oxiuiOxiUI — Pure-Rust GUI facade (egui + wgpu, no GTK/Qt/SDL)111Apache-2.0GUIRendering oxiui-accessibilityOxiUI accessibility bridge — builds an accesskit a11y node tree from the OxiUI widget graph166Apache-2.0AccessibilityGUI oxiui-compute-wgpuPure-Rust wgpu GPU-compute abstraction for the COOLJAPAN ecosystem91Apache-2.0Rendering::Rendering engineScience oxiui-coreCore traits and types for OxiUI — Pure Rust UI layer357Apache-2.0GUIRendering oxiui-dioxusOxiUI adapter for the Dioxus reactive UI framework (optional)105Apache-2.0GUIRendering oxiui-eguiegui/eframe adapter for OxiUI126Apache-2.0GUI oxiui-hot-reload-notifyOxiUI WGSL hot-reload file watcher (quarantine crate — pulls inotify-sys/fsevent-sys via notify; NOT in the Pure-Rust L1 set)15Apache-2.0FilesystemRendering oxiui-icediced GUI backend adapter for OxiUI99Apache-2.0GUI oxiui-render-softSoftware CPU framebuffer backend for OxiUI (headless / ffi-audit)97Apache-2.0GUIRendering oxiui-render-wgpuwgpu GPU render surface for OxiUI163Apache-2.0GUIRendering oxiui-slintOxiUI slint adapter (NON-PURE: slint pulls yeslogic-fontconfig-sys on Linux; not in the Pure-Rust L1 set; GPL-gated)90Apache-2.0GUIRendering oxiui-tableVirtualized table widget with egui and iced backends for OxiUI121Apache-2.0GUI oxiui-textOxiText/OxiFont bridge for OxiUI text rendering219Apache-2.0GUIText processing oxiui-themeCOOLJAPAN dark/light themes for OxiUI220Apache-2.0GUI oxiui-trayOxiUI system-tray adapter (quarantine crate — pulls GTK on Linux; NOT in the Pure-Rust L1 set)15Apache-2.0GUI oxiunifyIn development, not production-ready yet. Exploring more futures primitives. Rust guidelines for webapps pursuing the safety of…2,876CC0-1.0 oxivSecure local CLI vault for sensitive data — AES-256-GCM encrypted, Argon2id key derivation. Sync server, browser extension,…96MITCommand line utilitiesCryptography oxivglSafe no_std Rust bindings for LVGL — embedded GUI on ESP32 and host SDL2352MIT OR Apache-2.0Embedded developmentGUI oxivgl-buildBuild-time helpers for oxivgl (LVGL image asset conversion)290MIT OR Apache-2.0Development tools::Build Utils oxivgl-sysRaw LVGL v9.5 FFI bindings for oxivgl — compiled from source with bindgen385MIT OR Apache-2.0External FFI bindingsNo standard library oxiwadZero-dependency parser for id Tech 1 (Doom engine) WAD files: lumps, maps, BSP nodes, palettes, and graphics.16MITGame developmentParser implementations oxiwhisperPure Rust Whisper inference engine with minimal dependencies331Apache-2.0Multimedia::AudioScience oxixmlPure Rust Implementation of Full-Stack RDF/XML Parsing Libraries14Apache-2.0 oxizNext-Generation SMT Solver in Pure Rust7,745Apache-2.0AlgorithmsMathematics oxiz-cliCLI for OxiZ SMT Solver (SMT-LIB2 compliant)184Apache-2.0Command line utilities oxiz-coreCore AST, Sorts, and Traits for OxiZ SMT Solver9,180Apache-2.0AlgorithmsData structures oxiz-mathMathematical foundations for OxiZ SMT solver8,999Apache-2.0AlgorithmsMathematics oxiz-mlMachine Learning-Guided Heuristics for OxiZ SMT Solver32Apache-2.0AlgorithmsScience oxiz-nlsatNon-linear arithmetic solver for OxiZ (CAD-based)8,682Apache-2.0AlgorithmsMathematics oxiz-optOptimization engine for OxiZ (MaxSMT, OMT)305Apache-2.0AlgorithmsMathematics oxiz-proofProof generation and checking for OxiZ SMT solver7,805Apache-2.0AlgorithmsDevelopment tools::Testing oxiz-pyPython bindings for OxiZ SMT Solver14Apache-2.0AlgorithmsAPI bindings oxiz-satHigh-performance CDCL SAT Solver for OxiZ8,987Apache-2.0Algorithms oxiz-smtcompSMT-COMP benchmark infrastructure for OxiZ141Apache-2.0Development tools::Testing oxiz-solverMain CDCL(T) Solver API for OxiZ8,658Apache-2.0Algorithms oxiz-spacerProperty Directed Reachability (PDR/IC3) engine for OxiZ - Horn clause solving298Apache-2.0AlgorithmsDevelopment tools::Testing oxiz-theoriesTheory Solvers (EUF, Arithmetic, BitVectors) for OxiZ8,771Apache-2.0AlgorithmsMathematics oxiz-wasmWebAssembly bindings for OxiZ SMT Solver14Apache-2.0WebAssembly oxjellyParser and serializer for Jelly24MIT OR Apache-2.0 oxjsonldParser and serializer for the JSON-LD format512,790MIT OR Apache-2.0 oxkartKart utils71MIT oxkerA simple tui to view & control docker containers50,072MITCommand line utilities oxlA binary (and a library) for working with archives.1,998Apache-2.0 oxl-cliA command line utility for working with archives.1,727Apache-2.0 oxlexSimple lexer/tokenizer used in OxyScript1,711BSD-3-Clause oxlex-deriveDerive component for oxlex2,591BSD-3-Clause oxlint-configTypes belonging to the oxlint configuration file. Supports (de)serialization, JSON schema and merging106MPL-2.0 oxllmMinimalist adaptive routing LLM proxy in Rust174Apache-2.0 oxllm-coreCore adaptive routing engine and telemetry worker for oxllm241Apache-2.0