Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–24 of 88 · Most stars

A Programmer’s Guide to Longevity | Helping everyone live a longer, healthier, happier life. Available in 8 languages.

  • programmer
  • livelonger
  • github-pages
  • health

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

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

Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.

  • code-property-graph
  • compiler-theory
  • program-analysis
  • robdd

Package manager for the C programming language.

  • clib
  • c
  • package
  • manager

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  • static-analysis
  • software-verification
  • abstract-interpretation
  • program-analysis

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