All 305,250 crates, alphabetically

oxigdal-cliCommand-line interface for OxiGDAL geospatial operations150Apache-2.0Command line utilitiesScience oxigdal-cloudAdvanced cloud storage backends for OxiGDAL - Pure Rust cloud integration396Apache-2.0AsynchronousCaching oxigdal-cloud-enhancedDeep cloud platform integrations for AWS, Azure, and GCP134Apache-2.0API bindingsNetwork programming oxigdal-clusterDistributed geospatial processing cluster for OxiGDAL147Apache-2.0ConcurrencyNetwork programming oxigdal-compressAdvanced compression codecs and auto-selection for geospatial data140Apache-2.0CompressionEncoding oxigdal-copcPure Rust COPC (Cloud Optimized Point Cloud) reader for OxiGDAL - LAS/LAZ format with spatial index181Apache-2.0EncodingParser implementations oxigdal-coreCore abstractions for OxiGDAL - Pure Rust GDAL reimplementation with zero-copy buffers and cloud-native support4,329Apache-2.0Data structuresNo standard library oxigdal-db-connectorsDatabase connectors for OxiGDAL (MySQL, SQLite, MongoDB, ClickHouse, TimescaleDB, Cassandra)142Apache-2.0Database interfacesScience oxigdal-dev-toolsDevelopment tools for OxiGDAL: profiling, debugging, validation, and testing utilities133Apache-2.0Development toolsDevelopment tools::Profiling oxigdal-distributedDistributed processing capabilities for OxiGDAL using Apache Arrow Flight133Apache-2.0ConcurrencyNetwork programming oxigdal-drivers-advancedAdvanced geospatial format drivers for OxiGDAL (JPEG2000, GeoPackage, KML/KMZ, GML)144Apache-2.0EncodingParser implementations oxigdal-edgeEdge computing platform for OxiGDAL with offline-first architecture and minimal footprint133Apache-2.0Embedded developmentNetwork programming oxigdal-embeddedEmbedded systems support for OxiGDAL - no_std compatible geospatial processing for ARM, RISC-V, and ESP32136Apache-2.0Embedded developmentNo standard library oxigdal-etlStreaming ETL framework for continuous geospatial data processing with OxiGDAL143Apache-2.0AsynchronousData structures oxigdal-flatgeobufFlatGeobuf driver for OxiGDAL - Pure Rust GDAL reimplementation360Apache-2.0EncodingParser implementations oxigdal-gatewayEnterprise API gateway with rate limiting, authentication, GraphQL, and WebSocket support for OxiGDAL142Apache-2.0API bindingsAuthentication oxigdal-geojsonGeoJSON (RFC 7946) driver for OxiGDAL - Pure Rust vector data processing with streaming support1,452Apache-2.0EncodingParser implementations oxigdal-geojson-streamPure-Rust streaming GeoJSON reader and writer for OxiGDAL229Apache-2.0Parser implementationsScience oxigdal-geoparquetGeoParquet driver for OxiGDAL - Pure Rust GDAL reimplementation341Apache-2.0EncodingParser implementations oxigdal-geotiffGeoTIFF/COG driver for OxiGDAL - Pure Rust GDAL reimplementation with cloud-optimized reading and writing1,947Apache-2.0EncodingParser implementations oxigdal-gpkgPure Rust GeoPackage (GPKG) reader for OxiGDAL - SQLite format parser without C dependencies248Apache-2.0EncodingParser implementations oxigdal-gpuGPU-accelerated geospatial operations for OxiGDAL using WGPU311Apache-2.0GraphicsRendering oxigdal-gpu-advancedAdvanced GPU computing with multi-GPU support, memory pooling, and shader optimization for OxiGDAL134Apache-2.0ConcurrencyGraphics oxigdal-gribGRIB1/GRIB2 meteorological data format driver for OxiGDAL - Pure Rust implementation237Apache-2.0EncodingParser implementations oxigdal-haHigh availability, disaster recovery, and automatic failover for OxiGDAL133Apache-2.0ConcurrencyDatabase interfaces oxigdal-hdf5HDF5 driver for OxiGDAL - Pure Rust minimal HDF5 with optional full C-binding support276Apache-2.0EncodingParser implementations oxigdal-indexPure-Rust spatial index (R-tree) for OxiGDAL vector data223Apache-2.0Data structuresScience oxigdal-jpeg2000Pure Rust JPEG2000 (JP2/J2K) driver for OxiGDAL - JP2 box parsing and JPEG2000 codestream decoding243Apache-2.0Multimedia::ImagesParser implementations oxigdal-jupyterJupyter integration for OxiGDAL with interactive widgets and visualization136Apache-2.0Development toolsScience oxigdal-kafkaApache Kafka integration for OxiGDAL - async producer/consumer with schema registry and transactions146Apache-2.0AsynchronousNetwork programming oxigdal-kinesisAWS Kinesis streaming integration for OxiGDAL - Real-time data streaming137Apache-2.0AsynchronousDatabase interfaces oxigdal-mbtilesPure Rust MBTiles tile archive reader for OxiGDAL - SQLite-based tile pyramid support181Apache-2.0EncodingParser implementations oxigdal-metadataMetadata standards support for OxiGDAL - ISO 19115, FGDC, INSPIRE, DataCite, DCAT135Apache-2.0Data structuresParser implementations oxigdal-mlMachine learning capabilities for OxiGDAL - ONNX Runtime integration for geospatial ML workflows285Apache-2.0GraphicsScience oxigdal-ml-foundationDeep learning training infrastructure and model architectures for OxiGDAL - Transfer learning, training loops, optimizers, and…134Apache-2.0AlgorithmsGraphics oxigdal-mobileMobile FFI bindings for OxiGDAL - iOS and Android support for Pure Rust geospatial library234Apache-2.0API bindingsExternal FFI bindings oxigdal-mobile-enhancedMobile platform performance optimizations for iOS and Android - battery efficiency, network optimization, and mobile-specific…131Apache-2.0API bindingsEmbedded development oxigdal-mqttMQTT protocol support for OxiGDAL - IoT sensor data integration, pub/sub messaging, and geospatial time-series streaming133Apache-2.0AsynchronousNetwork programming oxigdal-netcdfNetCDF driver for OxiGDAL - Pure Rust NetCDF-3 with optional NetCDF-4 support258Apache-2.0EncodingParser implementations oxigdal-noallocno_std, no_alloc fixed-size geometry primitives for OxiGDAL165Apache-2.0No standard libraryScience oxigdal-nodeNode.js bindings for OxiGDAL - Pure Rust geospatial data abstraction library141Apache-2.0API bindingsScience oxigdal-observabilityOpenTelemetry-based observability, monitoring, and alerting for OxiGDAL141Apache-2.0Development tools::ProfilingNetwork programming oxigdal-offlineOffline-first data management with sync queue, conflict resolution, and optimistic updates for OxiGDAL133Apache-2.0AsynchronousCaching oxigdal-pmtilesPure Rust PMTiles v3 reader for OxiGDAL - single-file tile archive with varint directory351Apache-2.0EncodingParser implementations oxigdal-postgisPostgreSQL/PostGIS integration for OxiGDAL - Spatial database workflows with connection pooling and async operations240Apache-2.0Database interfacesScience oxigdal-projPure Rust coordinate transformation and projection support for OxiGDAL - EPSG database and CRS operations864Apache-2.0AlgorithmsScience oxigdal-pubsubGoogle Cloud Pub/Sub integration for OxiGDAL - Pure Rust streaming and messaging137Apache-2.0AsynchronousDatabase interfaces oxigdal-pwaProgressive Web App capabilities for OxiGDAL - Offline geospatial applications135Apache-2.0ScienceWebAssembly oxigdal-qcQuality control and validation suite for OxiGDAL - Comprehensive data integrity checks for geospatial data142Apache-2.0Data structuresScience oxigdal-querySQL-like query language and cost-based optimizer for geospatial data138Apache-2.0Data structuresDatabase interfaces oxigdal-rs3gwrs3gw storage backend for OxiGDAL - High-performance cloud storage access207Apache-2.0FilesystemScience oxigdal-securityEnterprise security features for OxiGDAL: encryption, access control, compliance139Apache-2.0AuthenticationCryptography oxigdal-sensorsRemote sensing and satellite sensor data processing for OxiGDAL - Radiometric corrections, spectral indices, and sensor support135Apache-2.0AlgorithmsScience oxigdal-serverWMS/WMTS tile server for serving OxiGDAL rasters over HTTP217Apache-2.0ScienceWeb programming::HTTP server oxigdal-servicesOGC Web Services (WFS, WCS, WPS, CSW) for OxiGDAL193Apache-2.0ScienceWeb programming::HTTP server oxigdal-shapefileShapefile (ESRI) driver for OxiGDAL - Pure Rust GDAL reimplementation1,082Apache-2.0EncodingParser implementations oxigdal-stacSTAC (SpatioTemporal Asset Catalog) support for OxiGDAL - Pure Rust cloud-native geospatial catalog285Apache-2.0Data structuresScience oxigdal-streamingReal-time data processing and streaming pipelines for OxiGDAL227Apache-2.0AsynchronousData structures oxigdal-syncMulti-device synchronization with CRDTs, vector clocks, and operational transformation for OxiGDAL141Apache-2.0Data structuresNetwork programming oxigdal-temporalMulti-temporal raster analysis for OxiGDAL - Time series, change detection, phenology, and data cube operations211Apache-2.0AlgorithmsData structures oxigdal-terrainAdvanced terrain analysis and DEM processing for OxiGDAL - Derivatives, hydrology, viewshed, and geomorphometry233Apache-2.0AlgorithmsGraphics oxigdal-vrtVRT (Virtual Raster) driver for OxiGDAL - Pure Rust GDAL reimplementation319Apache-2.0EncodingParser implementations oxigdal-wasmWebAssembly bindings for OxiGDAL - Browser-based geospatial processing139Apache-2.0ScienceWebAssembly oxigdal-wasm-geoparquetWebAssembly bindings for querying remote GeoParquet files with predicate pushdown over HTTP range requests14Apache-2.0ScienceWebAssembly oxigdal-websocketAdvanced real-time WebSocket communication for OxiGDAL with broadcasting, pub/sub, and live updates132Apache-2.0AsynchronousNetwork programming oxigdal-workflowDAG-based workflow engine for complex geospatial processing pipelines136Apache-2.0AsynchronousData structures oxigdal-wsWebSocket streaming support for OxiGDAL - real-time geospatial data delivery131Apache-2.0Network programmingScience oxigdal-zarrZarr v2/v3 driver for OxiGDAL - Pure Rust multidimensional array storage475Apache-2.0Data structuresEncoding oxigemmaPure-Rust inference engine for Google's Gemma model family (Gemma 4 QAT and beyond)17Apache-2.0AlgorithmsScience oxigenFast, parallel, extensible and adaptable genetic algorithm library.38,171MPL-2.0AlgorithmsScience oxigenaiPure Rust reimplementation of Digital Agency's lawsy-custom-bq (源内) with Legalis-RS computational law verification39Apache-2.0API bindingsWeb programming oxigeoPure Rust geospatial data abstraction library — the Rust alternative to GDAL39Apache-2.0EncodingParser implementations oxigeo-3d3D visualization, point clouds, and terrain mesh support for OxiGeo29Apache-2.0GraphicsScience oxigeo-algorithmsHigh-performance SIMD-optimized raster and vector algorithms for OxiGeo - Pure Rust geospatial processing56Apache-2.0AlgorithmsScience oxigeo-analyticsAdvanced geospatial analytics for OxiGeo - Time series, clustering, hotspot analysis, and interpolation33Apache-2.0AlgorithmsMathematics oxigeo-benchComprehensive performance profiling and benchmarking suite for OxiGeo34Apache-2.0Development tools::ProfilingScience oxigeo-cache-advancedAdvanced multi-tier caching with predictive prefetching and ML-based optimization for OxiGeo29Apache-2.0AlgorithmsCaching oxigeo-cliCommand-line interface for OxiGeo geospatial operations31Apache-2.0Command line utilitiesScience oxigeo-cloudAdvanced cloud storage backends for OxiGeo - Pure Rust cloud integration36Apache-2.0AsynchronousCaching oxigeo-cloud-enhancedDeep cloud platform integrations for AWS, Azure, and GCP30Apache-2.0API bindingsNetwork programming oxigeo-clusterDistributed geospatial processing cluster for OxiGeo29Apache-2.0ConcurrencyNetwork programming oxigeo-compressAdvanced compression codecs and auto-selection for geospatial data30Apache-2.0CompressionEncoding oxigeo-copcPure Rust COPC (Cloud Optimized Point Cloud) reader for OxiGeo - LAS/LAZ format with spatial index39Apache-2.0EncodingParser implementations oxigeo-coreCore abstractions for OxiGeo - Pure Rust GDAL reimplementation with zero-copy buffers and cloud-native support203Apache-2.0Data structuresNo standard library oxigeo-db-connectorsDatabase connectors for OxiGeo (MySQL, SQLite, MongoDB, ClickHouse, TimescaleDB, Cassandra)29Apache-2.0Database interfacesScience oxigeo-dev-toolsDevelopment tools for OxiGeo: profiling, debugging, validation, and testing utilities34Apache-2.0Development toolsDevelopment tools::Profiling oxigeo-distributedDistributed processing capabilities for OxiGeo using Apache Arrow Flight32Apache-2.0ConcurrencyNetwork programming oxigeo-drivers-advancedAdvanced geospatial format drivers for OxiGeo (JPEG2000, GeoPackage, KML/KMZ, GML)29Apache-2.0EncodingParser implementations oxigeo-edgeEdge computing platform for OxiGeo with offline-first architecture and minimal footprint33Apache-2.0Embedded developmentNetwork programming oxigeo-embeddedEmbedded systems support for OxiGeo - no_std compatible geospatial processing for ARM, RISC-V, and ESP3229Apache-2.0Embedded developmentNo standard library oxigeo-etlStreaming ETL framework for continuous geospatial data processing with OxiGeo34Apache-2.0AsynchronousData structures oxigeo-flatgeobufFlatGeobuf driver for OxiGeo - Pure Rust GDAL reimplementation38Apache-2.0EncodingParser implementations oxigeo-gatewayEnterprise API gateway with rate limiting, authentication, GraphQL, and WebSocket support for OxiGeo29Apache-2.0API bindingsAuthentication oxigeo-geojsonGeoJSON (RFC 7946) driver for OxiGeo - Pure Rust vector data processing with streaming support48Apache-2.0EncodingParser implementations oxigeo-geojson-streamPure-Rust streaming GeoJSON reader and writer for OxiGeo46Apache-2.0Parser implementationsScience oxigeo-geoparquetGeoParquet driver for OxiGeo - Pure Rust GDAL reimplementation43Apache-2.0EncodingParser implementations oxigeo-geotiffGeoTIFF/COG driver for OxiGeo - Pure Rust GDAL reimplementation with cloud-optimized reading and writing76Apache-2.0EncodingParser implementations oxigeo-gpkgPure Rust GeoPackage (GPKG) reader for OxiGeo - SQLite format parser without C dependencies40Apache-2.0EncodingParser implementations oxigeo-gpuGPU-accelerated geospatial operations for OxiGeo using WGPU33Apache-2.0GraphicsRendering oxigeo-gpu-advancedAdvanced GPU computing with multi-GPU support, memory pooling, and shader optimization for OxiGeo29Apache-2.0ConcurrencyGraphics oxigeo-gribGRIB1/GRIB2 meteorological data format driver for OxiGeo - Pure Rust implementation32Apache-2.0EncodingParser implementations oxigeo-haHigh availability, disaster recovery, and automatic failover for OxiGeo32Apache-2.0ConcurrencyDatabase interfaces oxigeo-hdf5HDF5 driver for OxiGeo - Pure Rust minimal HDF5 with optional full C-binding support41Apache-2.0EncodingParser implementations oxigeo-indexPure-Rust spatial index (R-tree) for OxiGeo vector data36Apache-2.0Data structuresScience oxigeo-jpeg2000Pure Rust JPEG2000 (JP2/J2K) driver for OxiGeo - JP2 box parsing and JPEG2000 codestream decoding46Apache-2.0Multimedia::ImagesParser implementations oxigeo-jupyterJupyter integration for OxiGeo with interactive widgets and visualization30Apache-2.0Development toolsScience oxigeo-kafkaApache Kafka integration for OxiGeo - async producer/consumer with schema registry and transactions34Apache-2.0AsynchronousNetwork programming oxigeo-kinesisAWS Kinesis streaming integration for OxiGeo - Real-time data streaming31Apache-2.0AsynchronousDatabase interfaces oxigeo-mbtilesPure Rust MBTiles tile archive reader for OxiGeo - SQLite-based tile pyramid support42Apache-2.0EncodingParser implementations oxigeo-metadataMetadata standards support for OxiGeo - ISO 19115, FGDC, INSPIRE, DataCite, DCAT30Apache-2.0Data structuresParser implementations oxigeo-mlMachine learning capabilities for OxiGeo - ONNX Runtime integration for geospatial ML workflows35Apache-2.0GraphicsScience oxigeo-ml-foundationDeep learning training infrastructure and model architectures for OxiGeo - Transfer learning, training loops, optimizers, and…29Apache-2.0AlgorithmsGraphics oxigeo-mobileMobile FFI bindings for OxiGeo - iOS and Android support for Pure Rust geospatial library37Apache-2.0API bindingsExternal FFI bindings oxigeo-mobile-enhancedMobile platform performance optimizations for iOS and Android - battery efficiency, network optimization, and mobile-specific…29Apache-2.0API bindingsEmbedded development oxigeo-mqttMQTT protocol support for OxiGeo - IoT sensor data integration, pub/sub messaging, and geospatial time-series streaming29Apache-2.0AsynchronousNetwork programming oxigeo-netcdfNetCDF driver for OxiGeo - Pure Rust NetCDF-3 with optional NetCDF-4 support37Apache-2.0EncodingParser implementations oxigeo-noallocno_std, no_alloc fixed-size geometry primitives for OxiGeo35Apache-2.0No standard libraryScience oxigeo-nodeNode.js bindings for OxiGeo - Pure Rust geospatial data abstraction library29Apache-2.0API bindingsScience oxigeo-observabilityOpenTelemetry-based observability, monitoring, and alerting for OxiGeo32Apache-2.0Development tools::ProfilingNetwork programming oxigeo-offlineOffline-first data management with sync queue, conflict resolution, and optimistic updates for OxiGeo30Apache-2.0AsynchronousCaching oxigeo-pmtilesPure Rust PMTiles v3 reader for OxiGeo - single-file tile archive with varint directory40Apache-2.0EncodingParser implementations oxigeo-postgisPostgreSQL/PostGIS integration for OxiGeo - Spatial database workflows with connection pooling and async operations33Apache-2.0Database interfacesScience oxigeo-projPure Rust coordinate transformation and projection support for OxiGeo - EPSG database and CRS operations59Apache-2.0AlgorithmsScience oxigeo-pubsubGoogle Cloud Pub/Sub integration for OxiGeo - Pure Rust streaming and messaging29Apache-2.0AsynchronousDatabase interfaces oxigeo-pwaProgressive Web App capabilities for OxiGeo - Offline geospatial applications30Apache-2.0ScienceWebAssembly oxigeo-qcQuality control and validation suite for OxiGeo - Comprehensive data integrity checks for geospatial data30Apache-2.0Data structuresScience oxigeo-querySQL-like query language and cost-based optimizer for geospatial data31Apache-2.0Data structuresDatabase interfaces oxigeo-rs3gwrs3gw storage backend for OxiGeo - High-performance cloud storage access35Apache-2.0FilesystemScience oxigeo-securityEnterprise security features for OxiGeo: encryption, access control, compliance32Apache-2.0AuthenticationCryptography oxigeo-sensorsRemote sensing and satellite sensor data processing for OxiGeo - Radiometric corrections, spectral indices, and sensor support34Apache-2.0AlgorithmsScience oxigeo-serverWMS/WMTS tile server for serving OxiGeo rasters over HTTP36Apache-2.0ScienceWeb programming::HTTP server oxigeo-servicesOGC Web Services (WFS, WCS, WPS, CSW) for OxiGeo32Apache-2.0ScienceWeb programming::HTTP server oxigeo-shapefileShapefile (ESRI) driver for OxiGeo - Pure Rust GDAL reimplementation40Apache-2.0EncodingParser implementations oxigeo-stacSTAC (SpatioTemporal Asset Catalog) support for OxiGeo - Pure Rust cloud-native geospatial catalog43Apache-2.0Data structuresScience oxigeo-streamingReal-time data processing and streaming pipelines for OxiGeo30Apache-2.0AsynchronousData structures oxigeo-syncMulti-device synchronization with CRDTs, vector clocks, and operational transformation for OxiGeo32Apache-2.0Data structuresNetwork programming oxigeo-temporalMulti-temporal raster analysis for OxiGeo - Time series, change detection, phenology, and data cube operations30Apache-2.0AlgorithmsData structures oxigeo-terrainAdvanced terrain analysis and DEM processing for OxiGeo - Derivatives, hydrology, viewshed, and geomorphometry33Apache-2.0AlgorithmsGraphics oxigeo-vrtVRT (Virtual Raster) driver for OxiGeo - Pure Rust GDAL reimplementation32Apache-2.0EncodingParser implementations oxigeo-wasmWebAssembly bindings for OxiGeo - Browser-based geospatial processing29Apache-2.0ScienceWebAssembly oxigeo-wasm-geoparquetWebAssembly bindings for querying remote GeoParquet files with predicate pushdown over HTTP range requests29Apache-2.0ScienceWebAssembly oxigeo-websocketAdvanced real-time WebSocket communication for OxiGeo with broadcasting, pub/sub, and live updates29Apache-2.0AsynchronousNetwork programming oxigeo-workflowDAG-based workflow engine for complex geospatial processing pipelines29Apache-2.0AsynchronousData structures oxigeo-wsWebSocket streaming support for OxiGeo - real-time geospatial data delivery29Apache-2.0Network programmingScience oxigeo-zarrZarr v2/v3 driver for OxiGeo - Pure Rust multidimensional array storage43Apache-2.0Data structuresEncoding oxigisPure Rust Implementation of Full-Stack GIS Interface14Apache-2.0 oxigradA tiny Rust automatic differentiation engine inspired by micrograd17MITScience oxigraphSPARQL database and RDF toolkit532,912MIT OR Apache-2.0Database implementations oxigraph-cliOxigraph CLI tool and SPARQL HTTP server25,748MIT OR Apache-2.0Command line utilitiesDatabase interfaces oxigraph-webA high-performance, full-featured web API for Oxigraph.82MIT OR Apache-2.0API bindingsDatabase interfaces oxigraph_serverDeprecated Oxigraph SPARQL HTTP server, use oxigraph-cli instead43,096MIT OR Apache-2.0 oxigraph_wikibaseSPARQL server based on Oxigraph for Wikibase instances11,090MIT OR Apache-2.0 oxigridPure Rust Energy Systems Simulation & Optimization Library58Apache-2.0AlgorithmsScience oxih5OxiH5 — Pure-Rust HDF5 reader (no libhdf5 FFI)277Apache-2.0Parser implementationsScience oxih5-coreCore types and error for OxiH5 (Pure Rust HDF5 reader)387Apache-2.0Parser implementationsScience oxih5-formatLow-level HDF5 binary format parsers for OxiH5348Apache-2.0Parser implementationsScience oxihttpOxiHTTP Pure-Rust HTTP facade for the COOLJAPAN ecosystem.158Apache-2.0AsynchronousNetwork programming oxihttp-clientOxiHTTP HTTP client implementation.309Apache-2.0AsynchronousNetwork programming oxihttp-coreOxiHTTP core types: error and http crate re-exports.384Apache-2.0Network programmingWeb programming oxihttp-serverOxiHTTP HTTP server implementation.204Apache-2.0AsynchronousNetwork programming oxihumanPrivacy-first, client-side human body generator in pure Rust — MakeHuman-compatible independent implementation (facade crate)90Apache-2.0GamesGraphics oxihuman-cliCommand-line interface for OxiHuman body generation and export89Apache-2.0Command line utilitiesScience oxihuman-coreCore data structures, algorithms, and asset management for OxiHuman619Apache-2.0AlgorithmsData structures oxihuman-exportExport pipeline for OxiHuman — glTF, COLLADA, STL, and streaming formats308Apache-2.0EncodingFilesystem oxihuman-meshMesh processing, topology, and geometry algorithms for OxiHuman502Apache-2.0AlgorithmsRendering oxihuman-morphParametric morphology engine for human body generation — targets, blendshapes, FACS560Apache-2.0AlgorithmsScience oxihuman-physicsPhysics simulation for OxiHuman — soft body, capsule colliders, porous flow377Apache-2.0MathematicsScience oxihuman-viewerwgpu/WebGPU rendering adapter for OxiHuman304Apache-2.0GraphicsRendering oxihuman-wasmWebAssembly bindings for OxiHuman — full browser-ready API149Apache-2.0ScienceWebAssembly oxikeyWIP library for building custom keyboards1,497MITEmbedded developmentHardware support oxilakePackage manager for OxiLean (Lean4-compatible) projects16Apache-2.0Command line utilitiesDevelopment tools oxilangtagSimple and fast implementation of language tag normalization and validation1,740,143MIT oxileanOxiLean - A Pure Rust theorem prover and dependent type checker inspired by Lean 480Apache-2.0Development toolsMathematics oxilean-buildOxiLean build system - Project compilation and dependency management136Apache-2.0Development tools oxilean-cliOxiLean command-line interface67Apache-2.0Command line utilitiesDevelopment tools oxilean-codegenOxiLean code generator - LCNF-based compilation and optimization140Apache-2.0Development toolsDevelopment tools::Build Utils oxilean-docDocumentation generator for OxiLean (.lean) source files16Apache-2.0Command line utilitiesDevelopment tools oxilean-elabOxiLean elaborator - Surface syntax to kernel terms266Apache-2.0Development toolsScience oxilean-exportlean4export NDJSON reader feeding the oxilean-verify trusted computing base18Apache-2.0 oxilean-kernelOxiLean kernel - The trusted computing base for type checking776Apache-2.0Development toolsScience oxilean-lintOxiLean linter - Static analysis and lint rules137Apache-2.0Development tools oxilean-metaOxiLean meta layer - Metavar-aware WHNF, unification, type class synthesis, and tactics248Apache-2.0Development toolsScience oxilean-parseOxiLean parser - Concrete syntax to abstract syntax459Apache-2.0Development toolsParsing tools oxilean-runtimeOxiLean runtime - Memory management, closures, I/O, and task scheduling138Apache-2.0Development tools oxilean-stdOxiLean standard library142Apache-2.0MathematicsScience oxilean-verifyIndependent Lean 4 proof checker — the oxilean-verify product CLI and streaming verify engine15Apache-2.0 oxilean-wasmWebAssembly bindings for OxiLean135Apache-2.0Development toolsWebAssembly oxilibLibrary for Oxi-applications.4,739GPL-3.0-only oxillamaPure Rust LLM inference engine — the sovereign alternative to llama.cpp (meta crate)113Apache-2.0AlgorithmsScience oxillama-archModel architecture implementations — LLaMA, Qwen3, Mistral, Gemma, Phi376Apache-2.0AlgorithmsScience oxillama-benchBenchmark suite for OxiLLaMa inference engine191Apache-2.0Development tools::Profiling oxillama-cliPure Rust LLM inference engine CLI — the sovereign alternative to llama.cpp74Apache-2.0Command line utilities oxillama-ggufGGUF v3 parser and tensor loader for OxiLLaMa529Apache-2.0Data structuresEncoding oxillama-gpuOptional wgpu GPU compute backend for OxiLLaMa107Apache-2.0Hardware supportScience oxillama-pyPython bindings for OxiLLaMa LLM inference engine60Apache-2.0API bindingsScience oxillama-quantQuantization kernels for all GGUF quantization types444Apache-2.0AlgorithmsMathematics oxillama-runtimeInference engine — KV cache, sampling, tokenizer bridge335Apache-2.0AlgorithmsScience oxillama-serverOpenAI-compatible HTTP API server for OxiLLaMa207Apache-2.0ScienceWeb programming::HTTP server oxillama-wasmWebAssembly bindings for OxiLLaMa GGUF parsing and quantization63Apache-2.0ScienceWebAssembly oximedA high-performance, oxidized medical informatics library in Rust19Apache-2.0