MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
CheckstyleStatic program analysisCscopeSoftware analyticsCode auditControl flow analysisPointer analysisAddresssanitizerSource code control systemProgramming toolCompiler-compilerDynamic programming languageSconsSpecification languageExtensible programmingAmplLintSymbolic executionProgramming language theoryRuntime verificationSootDynamic program analysisInteractive disassemblerScalaSoftware visualizationSystem programming languageObject pascalExpression templatesRun-time type informationAnalysis of parallel algorithmsSystemtapMakeGnu linear programming kitCamlParsingAutomated code reviewCtagsHistory of compiler constructionEscape analysisConstraint programmingSisalBoostBuild automationProof-carrying codeAcl2SwigSimantics system dynamicsSpin model checkerStandard mlQuickcheckAtlas.tiCompilerOssimLindoCythonLanguage server protocolDylanModelicaPrographDocumentation generatorMeshlabHaskellGnu libtoolDebuggingPolyglotSource-to-source compilerCodebaseDecompilerStatic timing analysisStatic libraryOperational semanticsProgram synthesisInterprocedural optimizationLlvmCompile-time function executionCode reviewIntegrated development environmentApi testingArcadiaSolidityRuntime libraryStructured concurrencyPersonal software processIpo modelSoftware developmentAlloyComputer programmingProof assistantParsing expression grammarSqaleComputer algebra systemEpigramMetamorphic testingHalideEmbedded cStructured analysisImsl numerical librariesPuppetEclipseSymbol table