Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–11 of 11 · Most stars

Transforms complex documents like PDFs and Office docs into LLM-ready markdown/JSON for your Agentic workflows.

SIMD-accelerated distances, dot products, matrix ops, geospatial & geometric kernels for 16 numeric types — from 6-bit floats to 64-bit complex — across x86, Arm, RISC-V, and WASM, with bindings for Python, Rust, C, C++, Swift, JS, and Go 📐

Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

  • coq
  • complex-analysis
  • real-analysis