Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- static-analysis
- software-verification
- abstract-interpretation
- program-analysis
Repository Index
47,133 repositories indexed
49–72 of 128 · Most stars
The Goose Programming Language
Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
- cpp
- await
- async-await
- executor-service
Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction
- programming-model
- parallel-computing
- c-plus-plus
- abstraction
Multi-platform, free open source software for visualization and image computing.
- medical-imaging
- vtk
- itk
- python
a programming library with geometric algorithms
- graphics-libraries
- graphics-programming
- mesh-generation
- mesh-processing
a modern C++ GUI library
- modern-cpp
- c-plus-plus-11
- c-plus-plus-14
- c-plus-plus-17
Nameof operator for modern C++, simply obtain the name of a variable, type, function, macro, and enum
- cplusplus
- cplusplus-17
- c-plus-plus
- c-plus-plus-17
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
- optimization
- nonlinear
- derivatives
- code-generation
Functional Programming Library for C++. Write concise and readable C++ code.
- range
- composition
- stl
- functional-programming
:zap: The Mobile Robot Programming Toolkit (MRPT)
- mrpt
- c-plus-plus
- mobile-robotics
- slam
C++ program to generate waveform data and render waveform images from audio files
- c-plus-plus
- audio
PROJ - Cartographic Projections and Coordinate Transformations Library
Corvusoft's Restbed framework brings asynchronous RESTful functionality to C++ applications.
- restful
- restful-webservices
- restful-api
- cpp
Provides ROS integration for Cartographer.
Lightweight in-process concurrent programming
MetaCall: The ultimate polyglot programming experience.
- metacall
- function-mesh
- programming-language
- inter-language
Automated static analysis tools for binary programs
- binary-analysis
- reverse-engineering
The repository contains the ENGLISH description files attached to the video series in my ARABIC algorithms channel.
- algorithm
- acm-icpc
- competitive-programming
- arabic
Small C++ program to display images in a (modern) terminal using RGB ANSI codes and unicode block graphics characters
- terminal-graphics
- ansi-colors
- cpp
- ascii-graphics
SIMD Vector Classes for C++
- vectorization
- parallel
- simd-vector
- simd-instructions
Fetish-themed programming language
- transpiler
- compiler
- language
- esoteric-language
An esoteric programming language, come se fosse antani.
Functional programming style pattern-matching library for C++
- pattern-matching
- pattern
- variant
- visitor