Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–20 of 20 · Most stars

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

  • python
  • profiling
  • performance-analysis
  • cpu-profiling

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript

Roaring bitmaps in C (and C++), with SIMD (AVX2, AVX-512 and NEON) optimizations: used by Apache Doris, ClickHouse, Alibaba Tair, Redpanda, YDB and StarRocks

Fast Compiler for C# Expression Trees and the lightweight LightExpression alternative. Diagnostic and code generation tools for the expressions.

  • expression-tree
  • dryioc
  • delegate
  • il-optimizations

Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support

  • embedded-optimization
  • nonconvex
  • model-predictive-control
  • rust-library

Cut AI context cost without trusting the compressor. Every reduction is reversible, byte-exact recoverable, and carries an auditable receipt. Local-first, works through proxy, MCP, SDK, or agent wrapper.

Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.

Pure Go production-grade regex engine with SIMD optimizations. Up to 3-3000x+ faster than stdlib.

  • avx2
  • dfa
  • go
  • golang

EGC gives every AI coding agent the same brain. Shared memory, skills, and live context across Cursor, Claude Code, Copilot, Aider, and 29 AI coding tools with zero configuration. Every tab, terminal, and AI stays automatically synchronized. One brain. Everywhere.