source of unique and challenging mathematical problems designed for the secondary and undergraduate levels. It includes an Olympiad Corner which is helpful for math competitions.
cms.math.ca
Results for “MPI”
105 tools found
TVM - End to End Deep Learning Compiler Stack for CPUs, GPUs and specialized accelerators
tvm.ai
ML Compiled
ml-compiled.readthedocs.io
www.mpi-inf.mpg.de/departments/computer-vision...
mpi-inf.mpg.de
Java, Android, Python, C# online decompiler.
decompiler.com
JAD Java Decompiler (closed-source, unmaintained)
varaneckas.com
copyright: — Decompile and debug binary code. Break down and analyze document files. Android Dalvik, MIPS, ARM, Intel x86, Java, WebAssembly & Ethereum Decompilers.
pnfsoftware.com
copyright: — Commercial Static Code Analysis system doesn't require building the source code or pre-compilation.
offensive360.com
The Code Explorer mode in Freeplane is designed for analyzing the structure and dependencies of code compiled to JVM class files. It also allows displaying ArchUnit test results directly in Freeplane, if Freeplane is running and ArchUnit detects rule violations during the tests.
docs.freeplane.org
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance. Ezno's type checker is built from scratch. The checker is fully compatible with TypeScript type annotations and can work without any type annotations at all.
kaleidawave.blog
Safe code refactoring for modern Python. Bowler is a refactoring tool for manipulating Python at the syntax tree level. It enables safe, large scale code modifications while guaranteeing that the resulting code compiles and runs. It provides both a simple command line interface and a fluent API in Python for generating complex code modifications in code.
pybowler.io
Catch common Java mistakes as compile-time errors.
errorprone.info
Analyzes whole Elm projects, with a focus on shareable and custom rules written in Elm that add guarantees the Elm compiler doesn't give you.
package.elm-lang.org
A dynamic symbolic execution engine built on top of the LLVM compiler infrastructure. It can auto-generate test cases for programs such that the test cases exercise as much of the program as possible.
klee-se.org
Compile-time injection framework without reflection.
dagger.dev
Online C++ compiler and interactive code execution environment.
compilebytes.com
A site that lists C++ features and their support by compilers and standard library implementations in an accessible way.
cppstat.dev
A flexible package manager that supports multiple versions, configurations, platforms, and compilers. [Apache-2.0/MIT]
spack.io
High performance, open-source build system supporting highly scalable compilation, caching and network distribution.
fastbuild.org
A fast C/C++ compiler cache. [GPLv3]
ccache.dev