Maintained by Aise Johan de Jong (Columbia)
Results for “Stack Overflow”
150 tools found
for professional mathematicians
Mathematics Stack Exchange
Game Development on StackExchange
alpha and beta in LDA
Machine Learning FAQs on Cross Validated
TVM - End to End Deep Learning Compiler Stack for CPUs, GPUs and specialized accelerators
SmashTheStack
Corelan Team's Exploit writing tutorial
copyright: — Exhaustive detection of coding errors and their associated security vulnerabilities. This encompasses a sound undefined behavior detection (buffer overflows, out-of-bounds array accesses, null-pointer dereferences, use-after-free, divide-by-zeros, uninitialized memory accesses, signed overflows, invalid pointer arithmetic, etc.), data flow and control flow verification as well as full functional verification of formal specifications. All versions of C up to C18 and C++ up
A static analyzer for the analysis of multi-threaded C programs. Its primary focus is the detection of data races, but it also reports other runtime errors, such as buffer overflows and null-pointer dereferences.
StackExchange community for system and network administrators.
Seamless, real-time monitoring of full-stack systems, applications, and infrastructure. ([Source Code](https://github.com/operacle/checkcle)) `MIT` `Docker`
Synchronize your DNS to multiple providers from a simple DSL. ([Source Code](https://github.com/StackExchange/dnscontrol)) `MIT` `Go/Docker`
Event-driven IT automation, remote task execution, and configuration management software. ([Source Code](https://github.com/saltstack/salt)) `Apache-2.0` `Python`
CSS Math FunctionsUsing CSS Math for responsive design.
Full-stack web framework.
Online compiler/shell with support for various C++ compilers.
website
What Led Amazon to its Own Microservices Architecture